From 312037676e4db047955e3e7da800b5b1f4bff021 Mon Sep 17 00:00:00 2001
From: Martin Goik <goik@hdm-stuttgart.de>
Date: Sun, 27 Sep 2015 01:18:05 +0200
Subject: [PATCH] Unicode space character problem
---
Doc/Sd1/Ref/Fig/pre.tex | 3 ++-
Doc/Sda1/Ref/Fig/pre.tex | 3 ++-
Doc/Sda2/Ref/Fig/pre.tex | 3 ++-
3 files changed, 6 insertions(+), 3 deletions(-)
diff --git a/Doc/Sd1/Ref/Fig/pre.tex b/Doc/Sd1/Ref/Fig/pre.tex
index 73c377e71..12db7b3e1 100644
--- a/Doc/Sd1/Ref/Fig/pre.tex
+++ b/Doc/Sd1/Ref/Fig/pre.tex
@@ -49,8 +49,9 @@
\usepackage{xmpmulti}
\usepackage{pifont}
\usepackage{listings}
-%\usepackage[utf8]{inputenc}
+\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}
+\DeclareUnicodeCharacter{00A0}{ }
%\usepackage{textcomp}
%\usepackage{times}
diff --git a/Doc/Sda1/Ref/Fig/pre.tex b/Doc/Sda1/Ref/Fig/pre.tex
index 73c377e71..12db7b3e1 100644
--- a/Doc/Sda1/Ref/Fig/pre.tex
+++ b/Doc/Sda1/Ref/Fig/pre.tex
@@ -49,8 +49,9 @@
\usepackage{xmpmulti}
\usepackage{pifont}
\usepackage{listings}
-%\usepackage[utf8]{inputenc}
+\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}
+\DeclareUnicodeCharacter{00A0}{ }
%\usepackage{textcomp}
%\usepackage{times}
diff --git a/Doc/Sda2/Ref/Fig/pre.tex b/Doc/Sda2/Ref/Fig/pre.tex
index 73c377e71..12db7b3e1 100644
--- a/Doc/Sda2/Ref/Fig/pre.tex
+++ b/Doc/Sda2/Ref/Fig/pre.tex
@@ -49,8 +49,9 @@
\usepackage{xmpmulti}
\usepackage{pifont}
\usepackage{listings}
-%\usepackage[utf8]{inputenc}
+\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}
+\DeclareUnicodeCharacter{00A0}{ }
%\usepackage{textcomp}
%\usepackage{times}
--
GitLab