Use T1 for DVI output for now, see also mgieseki/dvisvgm#2

hmenke · May 23, 2019 · 4694e11 · 4694e11
1 parent 0399995
commit 4694e11
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 1 deletion.
diff --git a/doc/generic/pgf/macros/pgfmanual-en-macros.tex b/doc/generic/pgf/macros/pgfmanual-en-macros.tex
@@ -440,7 +440,7 @@
   \removeats{#1}%
   \pgfmanualentryheadline{%
     \pgfmanualpdflabel{\textbackslash\strippedat}{}%
-    \declare{\texttt{\string#1}}#2%
+    \declare{\expandafter\texttt\expandafter{\string#1}}#2%
   }%
   \index{\strippedat @\protect\myprintocmmand{\strippedat}}
 }

diff --git a/doc/generic/pgf/text-en/pgfmanual-en-main-preamble.tex b/doc/generic/pgf/text-en/pgfmanual-en-main-preamble.tex
@@ -167,6 +167,11 @@
   % pgfmanual-en-macros.tex defines an environment named filedescription
   \let\filedescription\relax
   \usepackage[utf8]{luainputenc}
+  % dvisvgm does not support OpenType fonts so we have to bite the bullet and
+  % use T1 where quotes are weird.  In LuaTeX \outputmode=0 means DVI.
+  \ifnum\outputmode=0
+    \usepackage[T1]{fontenc}
+  \fi
 \else
   \usepackage[utf8]{inputenc}
   \usepackage[T1]{fontenc}