author | wenzelm |
Fri, 30 Dec 2005 16:56:54 +0100 | |
changeset 18521 | ee14a65fe764 |
parent 18520 | 428c79932b53 |
child 18522 | 9bdfb6eaf8ab |
--- a/doc-src/pdfsetup.sty Thu Dec 29 16:10:58 2005 +0100 +++ b/doc-src/pdfsetup.sty Fri Dec 30 16:56:54 2005 +0100 @@ -25,6 +25,7 @@ \gdef\bold#1{\textbf{\hyperpage{#1}}} \else \message{No PDF output} + \def\phantomsection\relax \usepackage{../url} \newcommand{\hfootref}[2]{#2\footnote{\url{#1}}} \fi