diff options
Diffstat (limited to 'manual')
| -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}} |