diff options
| -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 23bf7de..5a9eccc 100644 --- a/manual/preamble.tex +++ b/manual/preamble.tex @@ -261,9 +261,9 @@ % usage \reference{ref_section} \ifpdfoutput{% \newcommand{\reference}[1]{% - section \ref{#1} (page \pageref{#1})% + section~\ref{#1} (page~\pageref{#1})% }} -{\newcommand{\reference}[1]{section \ref{#1}}} +{\newcommand{\reference}[1]{section~\ref{#1}}} % special HTML output adjustments \ifpdfoutput{}{\setlength{\parindent}{0mm}} |