1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/doc-src/fixbookmarks.pl	Thu May 06 18:46:50 1999 +0200
     1.3 @@ -0,0 +1,4 @@
     1.4 +
     1.5 +s/\\(\w+)\s*/$1/g;
     1.6 +s/\$//g;
     1.7 +s/^BOOKMARK/\\BOOKMARK/g;

     2.1 --- a/doc-src/pdfsetup.sty	Thu May 06 15:34:36 1999 +0200
     2.2 +++ b/doc-src/pdfsetup.sty	Thu May 06 18:46:50 1999 +0200
     2.3 @@ -1,2 +1,2 @@
     2.4  
     2.5 -%\usepackage[pdftex,a4paper,colorlinks=true]{hyperref}
     2.6 +\@ifundefined{pdfoutput}{}{\usepackage[pdftex,a4paper,colorlinks=true]{hyperref}}