changeset 18521 | ee14a65fe764 |
parent 17725 | d3f55965bdbf |
child 18527 | 88abdee3e23f |
1.1 --- a/doc-src/pdfsetup.sty Thu Dec 29 16:10:58 2005 +0100 1.2 +++ b/doc-src/pdfsetup.sty Fri Dec 30 16:56:54 2005 +0100 1.3 @@ -25,6 +25,7 @@ 1.4 \gdef\bold#1{\textbf{\hyperpage{#1}}} 1.5 \else 1.6 \message{No PDF output} 1.7 + \def\phantomsection\relax 1.8 \usepackage{../url} 1.9 \newcommand{\hfootref}[2]{#2\footnote{\url{#1}}} 1.10 \fi