diff options
Diffstat (limited to 'Build/source/texk/web2c/cwebdir/texinputs/pdfwebtocfront.tex')
-rw-r--r-- | Build/source/texk/web2c/cwebdir/texinputs/pdfwebtocfront.tex | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/cwebdir/texinputs/pdfwebtocfront.tex b/Build/source/texk/web2c/cwebdir/texinputs/pdfwebtocfront.tex index ee092c7b42a..8e72c76a074 100644 --- a/Build/source/texk/web2c/cwebdir/texinputs/pdfwebtocfront.tex +++ b/Build/source/texk/web2c/cwebdir/texinputs/pdfwebtocfront.tex @@ -46,8 +46,10 @@ \ifx\x\y \def\num{1}\else \edef\y{\detokenize{mf}}% \ifx\x\y \def\num{1}\else + \edef\y{\detokenize{pdftex}}% + \ifx\x\y \def\num{1}\else \edef\y{\detokenize{xetex}}% - \ifx\x\y \def\num{1}\fi\fi\fi + \ifx\x\y \def\num{1}\fi\fi\fi\fi \expandafter\endgroup\ifnum\num=1 % \def\contentspagenumber{2}% \let\ORGpageno\pageno |