diff options
-rw-r--r-- | Build/source/texk/web2c/hitexdir/tex/ifhint.tex | 7 | ||||
-rw-r--r-- | Build/source/texk/web2c/hitexdir/tex/ifhitex.tex | 7 |
2 files changed, 7 insertions, 7 deletions
diff --git a/Build/source/texk/web2c/hitexdir/tex/ifhint.tex b/Build/source/texk/web2c/hitexdir/tex/ifhint.tex new file mode 100644 index 00000000000..6d7cb2dccf1 --- /dev/null +++ b/Build/source/texk/web2c/hitexdir/tex/ifhint.tex @@ -0,0 +1,7 @@ +% How to test for the HINT output +\newif\ifHINT +\expandafter\ifx\csname HINTversion\endcsname\relax + \HINTfalse +\else + \HINTtrue +\fi diff --git a/Build/source/texk/web2c/hitexdir/tex/ifhitex.tex b/Build/source/texk/web2c/hitexdir/tex/ifhitex.tex deleted file mode 100644 index 5793a0adb31..00000000000 --- a/Build/source/texk/web2c/hitexdir/tex/ifhitex.tex +++ /dev/null @@ -1,7 +0,0 @@ -% How to test for the HiTeX engine -\newif\ifHiTeX -\expandafter\ifx\csname HiTeXversion\endcsname\relax - \HiTeXfalse -\else - \HiTeXtrue -\fi |