# HG changeset patch
# User wenzelm
# Date 1210865838 -7200
# Node ID 29bb3d1de3bce1b72aa41b7dbf6cf8f1f630da9d
# Parent  0fffc7bc3604341fd17d55094921af7659186a05
hyperref is always enabled (also works with xdvi, dvips);
replaced darkblue by generic linkcolor;
reduced verbosity;

diff -r 0fffc7bc3604 -r 29bb3d1de3bc doc-src/pdfsetup.sty
--- a/doc-src/pdfsetup.sty	Thu May 15 17:37:18 2008 +0200
+++ b/doc-src/pdfsetup.sty	Thu May 15 17:37:18 2008 +0200
@@ -15,19 +15,12 @@
   \fi
 \fi
 
-\ifpdfoutput
-  \message{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,pdfpagelabels]{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}}}
-\else
-  \message{No PDF output}
-  \def\phantomsection{\relax}
-  \usepackage{../url}
-  \newcommand{\hfootref}[2]{#2\footnote{\url{#1}}}
-\fi
+\usepackage{color}
+\definecolor{linkcolor}{rgb}{0,0,0.5}
+
+\usepackage[colorlinks=true,linkcolor=linkcolor,citecolor=linkcolor,filecolor=linkcolor,pagecolor=linkcolor,urlcolor=linkcolor,pdfpagelabels]{hyperref}
+\newcommand{\hfootref}[2]{\href{#1}{#2}\footnote{\url{#1}}}
+\gdef\fnote#1{\hyperpage{#1}n}
+\gdef\bold#1{\textbf{\hyperpage{#1}}}
 
 \urlstyle{rm}