1.1 --- a/doc-src/pdfsetup.sty	Sun Apr 05 22:25:02 2009 +0200
     1.2 +++ b/doc-src/pdfsetup.sty	Sun Apr 05 23:12:29 2009 +0200
     1.3 @@ -1,9 +1,8 @@
     1.4 -%% $Id$
     1.5  %%
     1.6  %% hyperref setup -- special version for Isabelle documentation
     1.7  %%
     1.8  
     1.9 -\message{pdfsetup.sty v0.4 2008-05-15}
    1.10 +\usepackage{ifpdf}
    1.11  
    1.12  \usepackage{color}
    1.13  \definecolor{linkcolor}{rgb}{0,0,0}
    1.14 @@ -14,3 +13,5 @@
    1.15  \gdef\bold#1{\textbf{\hyperpage{#1}}}
    1.16  
    1.17  \urlstyle{rm}
    1.18 +
    1.19 +\ifpdf\relax\else\renewcommand{\url}[1]{\nolinkurl{#1}}\fi
    1.20 \ No newline at end of file