pdf setup;
authorwenzelm
Thu May 06 18:46:50 1999 +0200 (1999-05-06)
changeset 660928726a610a17
parent 6608 927def00b1c6
child 6610 becd902a0e97
pdf setup;
doc-src/fixbookmarks.pl
doc-src/pdfsetup.sty
     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}}