diff options
Diffstat (limited to 'Build/source/texk/web2c/hitexdir/tex/hilatex.ini')
-rw-r--r-- | Build/source/texk/web2c/hitexdir/tex/hilatex.ini | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/hitexdir/tex/hilatex.ini b/Build/source/texk/web2c/hitexdir/tex/hilatex.ini new file mode 100644 index 00000000000..0eb306ef18b --- /dev/null +++ b/Build/source/texk/web2c/hitexdir/tex/hilatex.ini @@ -0,0 +1,10 @@ +% $Id$ +% Karl Berry, 2022. Public domain. +\scrollmode +\let\dumpprimitiveforhilatex\dump % regain control after latex.ltx +\let\dump\relax +\input latex.ltx +\input ifhint.tex +\input hiltxpage.tex +\dumpprimitiveforhilatex +\endinput |