1.1 --- a/doc-src/pdfsetup.sty	Thu Sep 29 17:02:57 2005 +0200
     1.2 +++ b/doc-src/pdfsetup.sty	Thu Sep 29 17:08:52 2005 +0200
     1.3 @@ -3,9 +3,20 @@
     1.4  %% smart url or hyperref setup -- special version for Isabelle documentation
     1.5  %%
     1.6  
     1.7 -\message{pdfsetup.sty v0.2 28/9/2005}
     1.8 -\RequirePackage{ifpdf}
     1.9 -\ifpdf
    1.10 +\message{pdfsetup.sty v0.3 29/9/2005}
    1.11 +
    1.12 +\newif\ifpdfoutput
    1.13 +\ifx\pdfoutput\undefined
    1.14 +\else
    1.15 +  \ifx\pdfoutput\relax
    1.16 +  \else
    1.17 +    \ifcase\pdfoutput
    1.18 +    \else\pdfoutputtrue\fi
    1.19 +  \fi
    1.20 +\fi
    1.21 +
    1.22 +\ifpdfoutput
    1.23 +  \message{PDF output}
    1.24    \usepackage{color}\definecolor{darkblue}{rgb}{0,0,0.5}
    1.25    \usepackage[pdftex,colorlinks=true,linkcolor=darkblue,citecolor=darkblue,filecolor=darkblue,pagecolor=darkblue,urlcolor=darkblue]{hyperref}
    1.26                %no a4paper because overall style sets this (not for Springer!)
    1.27 @@ -13,6 +24,7 @@
    1.28    \gdef\fnote#1{\hyperpage{#1}n}
    1.29    \gdef\bold#1{\textbf{\hyperpage{#1}}}
    1.30  \else
    1.31 +  \message{No PDF output}
    1.32    \usepackage{../url}
    1.33    \newcommand{\hfootref}[2]{#2\footnote{\url{#1}}}
    1.34  \fi