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