1.1 --- a/doc-src/pdfsetup.sty	Wed Sep 28 14:41:43 2005 +0200
     1.2 +++ b/doc-src/pdfsetup.sty	Wed Sep 28 15:13:02 2005 +0200
     1.3 @@ -1,13 +1,20 @@
     1.4 -\message{pdfsetup.sty v0.1 11/7/2001}
     1.5 -\@ifundefined{pdfoutput}{\message{No PDF output}%
     1.6 -  \usepackage{../url}%
     1.7 -  \newcommand{\hfootref}[2]{#2\footnote{\url{#1}}}}%
     1.8 -{\message{Generating PDF output}%
     1.9 -  \usepackage{color}\definecolor{darkblue}{rgb}{0,0,0.5}%
    1.10 -  \usepackage[pdftex,colorlinks=true,linkcolor=darkblue,citecolor=darkblue,filecolor=darkblue,pagecolor=darkblue,urlcolor=darkblue]{hyperref}%
    1.11 +%% $Id$
    1.12 +%%
    1.13 +%% smart url or hyperref setup -- special version for Isabelle documentation
    1.14 +%%
    1.15 +
    1.16 +\message{pdfsetup.sty v0.2 28/9/2005}
    1.17 +\RequirePackage{ifpdf}
    1.18 +\ifpdf
    1.19 +  \usepackage{color}\definecolor{darkblue}{rgb}{0,0,0.5}
    1.20 +  \usepackage[pdftex,colorlinks=true,linkcolor=darkblue,citecolor=darkblue,filecolor=darkblue,pagecolor=darkblue,urlcolor=darkblue]{hyperref}
    1.21                %no a4paper because overall style sets this (not for Springer!)
    1.22 -  \newcommand{\hfootref}[2]{\href{#1}{#2}\footnote{\url{#1}}}%
    1.23 -  \gdef\fnote#1{\hyperpage{#1}n}%
    1.24 -  \gdef\bold#1{\textbf{\hyperpage{#1}}}}
    1.25 +  \newcommand{\hfootref}[2]{\href{#1}{#2}\footnote{\url{#1}}}
    1.26 +  \gdef\fnote#1{\hyperpage{#1}n}
    1.27 +  \gdef\bold#1{\textbf{\hyperpage{#1}}}
    1.28 +\else
    1.29 +  \usepackage{../url}
    1.30 +  \newcommand{\hfootref}[2]{#2\footnote{\url{#1}}}
    1.31 +\fi
    1.32  
    1.33  \urlstyle{rm}