diff -r 76046022d31f -r 14b4d95d4be2 doc-src/pdfsetup.sty
--- a/doc-src/pdfsetup.sty	Thu May 15 22:03:32 2008 +0200
+++ b/doc-src/pdfsetup.sty	Thu May 15 22:10:18 2008 +0200
@@ -1,6 +1,6 @@
 %% $Id$
 %%
-%% smart url or hyperref setup -- special version for Isabelle documentation
+%% hyperref setup -- special version for Isabelle documentation
 %%
 
 \message{pdfsetup.sty v0.4 2008-05-15}