non-PDF: phantomsection;
authorwenzelm
Fri Dec 30 16:56:54 2005 +0100 (2005-12-30)
changeset 18521ee14a65fe764
parent 18520 428c79932b53
child 18522 9bdfb6eaf8ab
non-PDF: phantomsection;
doc-src/pdfsetup.sty
     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