diff options
Diffstat (limited to 'Build')
-rw-r--r-- | Build/source/texk/web2c/hitexdir/tex/hiplainpage.tex | 35 | ||||
-rw-r--r-- | Build/source/texk/web2c/hitexdir/tex/ifhint.tex | 8 |
2 files changed, 39 insertions, 4 deletions
diff --git a/Build/source/texk/web2c/hitexdir/tex/hiplainpage.tex b/Build/source/texk/web2c/hitexdir/tex/hiplainpage.tex new file mode 100644 index 00000000000..96afd91e2fa --- /dev/null +++ b/Build/source/texk/web2c/hitexdir/tex/hiplainpage.tex @@ -0,0 +1,35 @@ +\ifhint + \dimen0=1.25\hsize + \advance\dimen0 by -9pt + \dimen1=1.25\vsize + \advance\dimen1 by -9pt +\HINTsetpage1 = basic + priority 10 + width \dimen0 + height \dimen1 +{% + \maxdepth=4pt + \topskip=10pt + \HINTstream\topins %topinsert + \HINTstream0 %main text + \HINTstream\footins + \HINTsetstream\topins = %topinsert + prefered 0 + {% + \HINTafter = {} + } + \HINTsetstream\footins =%footnotes + prefered 255 + ratio 0 + {% + \hsize=300pt + \count\footins=1000 % the magnification factor + \skip\footins=\bigskipamount % the extra space needed + \dimen\footins=\vsize % maximum height on the page + \HINTbefore = + {\vskip\skip\footins + \footnoterule} + \HINTafter = {} + } +}% end page template +\fi diff --git a/Build/source/texk/web2c/hitexdir/tex/ifhint.tex b/Build/source/texk/web2c/hitexdir/tex/ifhint.tex index 6d7cb2dccf1..87ae7b4b1c1 100644 --- a/Build/source/texk/web2c/hitexdir/tex/ifhint.tex +++ b/Build/source/texk/web2c/hitexdir/tex/ifhint.tex @@ -1,7 +1,7 @@ -% How to test for the HINT output -\newif\ifHINT +\newif\ifhint +% How to test for the HiTeX engine \expandafter\ifx\csname HINTversion\endcsname\relax - \HINTfalse + \hintfalse \else - \HINTtrue + \hinttrue \fi |