diff options
| -rw-r--r-- | Build/source/texk/web2c/cwebdir/texinputs/pdfwebtocfront.tex | 13 |
1 files changed, 5 insertions, 8 deletions
diff --git a/Build/source/texk/web2c/cwebdir/texinputs/pdfwebtocfront.tex b/Build/source/texk/web2c/cwebdir/texinputs/pdfwebtocfront.tex index be662846096..ee092c7b42a 100644 --- a/Build/source/texk/web2c/cwebdir/texinputs/pdfwebtocfront.tex +++ b/Build/source/texk/web2c/cwebdir/texinputs/pdfwebtocfront.tex @@ -43,14 +43,11 @@ \def\num{0}% \edef\x{\jobname}% \edef\y{\detokenize{tex}}% - \ifx\x\y - \def\num{1}% - \else - \edef\y{\detokenize{mf}}% - \ifx\x\y - \def\num{1}% - \fi - \fi + \ifx\x\y \def\num{1}\else + \edef\y{\detokenize{mf}}% + \ifx\x\y \def\num{1}\else + \edef\y{\detokenize{xetex}}% + \ifx\x\y \def\num{1}\fi\fi\fi \expandafter\endgroup\ifnum\num=1 % \def\contentspagenumber{2}% \let\ORGpageno\pageno |