--- a/doc-src/pdfsetup.sty Wed Sep 28 14:41:43 2005 +0200
+++ b/doc-src/pdfsetup.sty Wed Sep 28 15:13:02 2005 +0200
@@ -1,13 +1,20 @@
-\message{pdfsetup.sty v0.1 11/7/2001}
-\@ifundefined{pdfoutput}{\message{No PDF output}%
- \usepackage{../url}%
- \newcommand{\hfootref}[2]{#2\footnote{\url{#1}}}}%
-{\message{Generating PDF output}%
- \usepackage{color}\definecolor{darkblue}{rgb}{0,0,0.5}%
- \usepackage[pdftex,colorlinks=true,linkcolor=darkblue,citecolor=darkblue,filecolor=darkblue,pagecolor=darkblue,urlcolor=darkblue]{hyperref}%
+%% $Id$
+%%
+%% smart url or hyperref setup -- special version for Isabelle documentation
+%%
+
+\message{pdfsetup.sty v0.2 28/9/2005}
+\RequirePackage{ifpdf}
+\ifpdf
+ \usepackage{color}\definecolor{darkblue}{rgb}{0,0,0.5}
+ \usepackage[pdftex,colorlinks=true,linkcolor=darkblue,citecolor=darkblue,filecolor=darkblue,pagecolor=darkblue,urlcolor=darkblue]{hyperref}
%no a4paper because overall style sets this (not for Springer!)
- \newcommand{\hfootref}[2]{\href{#1}{#2}\footnote{\url{#1}}}%
- \gdef\fnote#1{\hyperpage{#1}n}%
- \gdef\bold#1{\textbf{\hyperpage{#1}}}}
+ \newcommand{\hfootref}[2]{\href{#1}{#2}\footnote{\url{#1}}}
+ \gdef\fnote#1{\hyperpage{#1}n}
+ \gdef\bold#1{\textbf{\hyperpage{#1}}}
+\else
+ \usepackage{../url}
+ \newcommand{\hfootref}[2]{#2\footnote{\url{#1}}}
+\fi
\urlstyle{rm}
--- a/lib/texinputs/pdfsetup.sty Wed Sep 28 14:41:43 2005 +0200
+++ b/lib/texinputs/pdfsetup.sty Wed Sep 28 15:13:02 2005 +0200
@@ -4,8 +4,11 @@
%% smart url or hyperref setup
%%
-\@ifundefined{pdfoutput}
-{\usepackage{url}}
-{\usepackage{color}\definecolor{darkblue}{rgb}{0,0,0.5}
+\RequirePackage{ifpdf}
+\ifpdf
+ \usepackage{color}\definecolor{darkblue}{rgb}{0,0,0.5}
\usepackage[pdftex,a4paper,colorlinks=true,linkcolor=darkblue,citecolor=darkblue,filecolor=darkblue,pagecolor=darkblue,urlcolor=darkblue]{hyperref}
- \IfFileExists{thumbpdf.sty}{\usepackage{thumbpdf}}{}}
+ \IfFileExists{thumbpdf.sty}{\usepackage{thumbpdf}}{}
+\else
+ \usepackage{url}
+\fi