author | wenzelm |
Tue, 09 Nov 2010 11:27:58 +0100 | |
changeset 40447 | 7434faac7e21 |
parent 40446 | 27c1a1c82eba |
child 40448 | f9347a30d1b2 |
child 40462 | 89ee82ee0e0f |
--- a/doc-src/pdfsetup.sty Tue Nov 09 11:17:15 2010 +0100 +++ b/doc-src/pdfsetup.sty Tue Nov 09 11:27:58 2010 +0100 @@ -15,6 +15,9 @@ \urlstyle{rm} \ifpdf\relax\else\renewcommand{\url}[1]{\nolinkurl{#1}}\fi +\def\isaliteral#1#2{#2} +\def\isanil{} + \ifpdf \ifnum\pdfminorversion<5\pdfminorversion=5\fi \renewcommand{\isaliteral}[2]{%