diff options
author | Karl Berry <karl@freefriends.org> | 2022-03-06 23:15:07 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2022-03-06 23:15:07 +0000 |
commit | bee3b797ba63d0d594a0cbc5f691b4424716b61e (patch) | |
tree | b4a259bae1cd21e85aa1b14b37f376f575275aa2 /Master/texmf-dist/tex/hitex/base/hiltxpage.tex | |
parent | 8661046fb9e427d75c7e8f993e8451a7628617b8 (diff) |
hitex doc updates to runtime
git-svn-id: svn://tug.org/texlive/trunk@62487 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/tex/hitex/base/hiltxpage.tex')
-rw-r--r-- | Master/texmf-dist/tex/hitex/base/hiltxpage.tex | 14 |
1 files changed, 6 insertions, 8 deletions
diff --git a/Master/texmf-dist/tex/hitex/base/hiltxpage.tex b/Master/texmf-dist/tex/hitex/base/hiltxpage.tex index 04573fbdad1..17f2b2828c7 100644 --- a/Master/texmf-dist/tex/hitex/base/hiltxpage.tex +++ b/Master/texmf-dist/tex/hitex/base/hiltxpage.tex @@ -24,8 +24,14 @@ % copyright holders. \ifhint +% Usefull settings for HINT files +\pretolerance=1000 +\tolerance=2000 +\emergencystretch=16pt +\overfullrule=0pt \textwidth=\hsize \textheight=\vsize +% HINT page template for footnotes and topinserts \newinsert\topins \skip\topins=0pt % no space added when a topinsert is present \count\topins=1000 % magnification factor (1 to 1) @@ -68,11 +74,3 @@ } }% end page template \fi - -% the footins had this: -% \before = -% {\vskip 0pt plus 1filll\vskip 9pt plus 4pt minus 2pt -% \kern -3pt -% \hrule width 5em -% \kern 2.6pt} -% } |