# HG changeset patch
# User wenzelm
# Date 1135958214 -3600
# Node ID ee14a65fe764648ccb65fce18443918d26c0ec52
# Parent  428c79932b538133b7ae00ec52b1afc8dfc5a58f
non-PDF: phantomsection;

diff -r 428c79932b53 -r ee14a65fe764 doc-src/pdfsetup.sty
--- a/doc-src/pdfsetup.sty	Thu Dec 29 16:10:58 2005 +0100
+++ b/doc-src/pdfsetup.sty	Fri Dec 30 16:56:54 2005 +0100
@@ -25,6 +25,7 @@
   \gdef\bold#1{\textbf{\hyperpage{#1}}}
 \else
   \message{No PDF output}
+  \def\phantomsection\relax
   \usepackage{../url}
   \newcommand{\hfootref}[2]{#2\footnote{\url{#1}}}
 \fi