# 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