lib/texinputs/pdfsetup.sty

--- a/lib/texinputs/pdfsetup.sty	Thu May 15 20:19:49 2008 +0200
+++ b/lib/texinputs/pdfsetup.sty	Thu May 15 20:20:30 2008 +0200
@@ -1,19 +1,9 @@
 %%
 %% $Id$
 %%
-%% default pdfoutput and hyperref setup
+%% default hyperref setup (both for pdf and dvi output)
 %%
 
-\newif\ifpdfoutput
-\ifx\pdfoutput\undefined
-\else
-  \ifx\pdfoutput\relax
-  \else
-    \ifcase\pdfoutput
-    \else\pdfoutputtrue\fi
-  \fi
-\fi
-
 \usepackage{color}
 \definecolor{linkcolor}{rgb}{0,0,0.5}