doc-src/pdfsetup.sty
changeset 18527 88abdee3e23f
parent 18521 ee14a65fe764
child 22734 790f73fa8b36
--- a/doc-src/pdfsetup.sty	Fri Dec 30 16:57:00 2005 +0100
+++ b/doc-src/pdfsetup.sty	Sat Dec 31 13:03:55 2005 +0100
@@ -25,7 +25,7 @@
   \gdef\bold#1{\textbf{\hyperpage{#1}}}
 \else
   \message{No PDF output}
-  \def\phantomsection\relax
+  \def\phantomsection{\relax}
   \usepackage{../url}
   \newcommand{\hfootref}[2]{#2\footnote{\url{#1}}}
 \fi