--- a/doc-src/IsarRef/Thy/document/pdfsetup.sty Thu May 15 18:12:24 2008 +0200
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,25 +0,0 @@
-%%
-%%
-%%
-%% smart url or hyperref setup
-%%
-
-\newif\ifpdfoutput
-\ifx\pdfoutput\undefined
-\else
- \ifx\pdfoutput\relax
- \else
- \ifcase\pdfoutput
- \else\pdfoutputtrue\fi
- \fi
-\fi
-
-\ifpdfoutput
- \message{PDF output}
- \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}}{}
-\else
- \message{No PDF output}
- \usepackage{url}
-\fi