summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Build/source/texk/web2c/cwebdir/texinputs/pdfwebtocfront.tex13
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