# HG changeset patch
# User wenzelm
# Date 1136030635 -3600
# Node ID 88abdee3e23fbaca51d47d0b28242ab5cf6442db
# Parent  5cb04f20f46329e5afbc3253308d65a96bcb9f7e
more robust phantomsection;

diff -r 5cb04f20f463 -r 88abdee3e23f doc-src/pdfsetup.sty
--- a/doc-src/pdfsetup.sty	Fri Dec 30 16:57:00 2005 +0100
+++ b/doc-src/pdfsetup.sty	Sat Dec 31 13:03:55 2005 +0100
@@ -25,7 +25,7 @@
   \gdef\bold#1{\textbf{\hyperpage{#1}}}
 \else
   \message{No PDF output}
-  \def\phantomsection\relax
+  \def\phantomsection{\relax}
   \usepackage{../url}
   \newcommand{\hfootref}[2]{#2\footnote{\url{#1}}}
 \fi