diff options
Diffstat (limited to 'manual/preamble.tex')
-rw-r--r-- | manual/preamble.tex | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/manual/preamble.tex b/manual/preamble.tex index 23bf7de168..5a9ecccd1e 100644 --- a/manual/preamble.tex +++ b/manual/preamble.tex | |||
@@ -261,9 +261,9 @@ | |||
261 | % usage \reference{ref_section} | 261 | % usage \reference{ref_section} |
262 | \ifpdfoutput{% | 262 | \ifpdfoutput{% |
263 | \newcommand{\reference}[1]{% | 263 | \newcommand{\reference}[1]{% |
264 | section \ref{#1} (page \pageref{#1})% | 264 | section~\ref{#1} (page~\pageref{#1})% |
265 | }} | 265 | }} |
266 | {\newcommand{\reference}[1]{section \ref{#1}}} | 266 | {\newcommand{\reference}[1]{section~\ref{#1}}} |
267 | 267 | ||
268 | % special HTML output adjustments | 268 | % special HTML output adjustments |
269 | \ifpdfoutput{}{\setlength{\parindent}{0mm}} | 269 | \ifpdfoutput{}{\setlength{\parindent}{0mm}} |