# HG changeset patch
# User wenzelm
# Date 1127913182 -7200
# Node ID e86cde1e5b1229395b70a59a7538c033a579683f
# Parent  005218b2ee6bcbda918b654ec78ed65203a41541
more reliable check for PDF output using ifpdf.sty;

diff -r 005218b2ee6b -r e86cde1e5b12 doc-src/pdfsetup.sty
--- 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}
diff -r 005218b2ee6b -r e86cde1e5b12 lib/texinputs/pdfsetup.sty
--- 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