summaryrefslogtreecommitdiffstats
path: root/manual/preamble.tex
diff options
context:
space:
mode:
Diffstat (limited to 'manual/preamble.tex')
-rw-r--r--manual/preamble.tex5
1 files changed, 5 insertions, 0 deletions
diff --git a/manual/preamble.tex b/manual/preamble.tex
index e03b776d8f..ffdaacc8ed 100644
--- a/manual/preamble.tex
+++ b/manual/preamble.tex
@@ -266,3 +266,8 @@
section \ref{#1} (page \pageref{#1})
}}
{\newcommand{\reference}[1]{section \ref{#1}}}
+
+% special HTML output adjustments
+\ifpdfoutput{}{\setlength{\parindent}{0mm}}
+\ifpdfoutput{}{\renewcommand{\Forward}[1]{$\triangleright${}#1}}
+