# HG changeset patch
# User paulson
# Date 1008756458 -3600
# Node ID f44734e5e7463fa854fbe39b1a93deda3c511e78
# Parent  32843ad8160a732583b900fc7814420c718b390c
hyperlinks in DVI mode

diff -r 32843ad8160a -r f44734e5e746 doc-src/pdfsetup.sty
--- a/doc-src/pdfsetup.sty	Wed Dec 19 00:30:13 2001 +0100
+++ b/doc-src/pdfsetup.sty	Wed Dec 19 11:07:38 2001 +0100
@@ -1,5 +1,7 @@
 \message{pdfsetup.sty v0.1 11/7/2001}
-\@ifundefined{pdfoutput}{\message{No PDF output}\usepackage{../url}}
+\@ifundefined{pdfoutput}{\message{No PDF output}%
+  \usepackage{../url}%
+  \newcommand{\href}[2]{#2\footnote{#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}%