changeset 7868 | 0cb6508f190c |
parent 7736 | 847cd420a928 |
child 9818 | 71de955e8fc9 |
--- a/lib/texinputs/pdfsetup.sty Thu Oct 14 15:05:35 1999 +0200 +++ b/lib/texinputs/pdfsetup.sty Thu Oct 14 15:14:14 1999 +0200 @@ -5,4 +5,5 @@ %% \@ifundefined{pdfoutput}{\usepackage{url}} -{\usepackage[pdftex,a4paper,colorlinks=true]{hyperref}} +{\usepackage[pdftex,a4paper,colorlinks=true]{hyperref} + \IfFileExists{thumbpdf.sty}{\usepackage{thumbpdf}}{}}