| changeset 6643 | ff827fccffb5 |
| parent 6623 | 021728c71030 |
| child 8891 | 8760f7cdb326 |
--- a/doc-src/pdfsetup.sty Wed May 12 17:26:56 1999 +0200 +++ b/doc-src/pdfsetup.sty Wed May 12 17:58:03 1999 +0200 @@ -1,2 +1,4 @@ -\@ifundefined{pdfoutput}{\usepackage{../url}}{\usepackage[pdftex,a4paper,colorlinks=true]{hyperref}} +\@ifundefined{pdfoutput}{\usepackage{../url}} +{\usepackage[pdftex,a4paper,colorlinks=true]{hyperref} + \gdef\bold#1{\textbf{\hyperpage{#1}}}}