diff options
author | Martin Ruckert <martin.ruckert@hm.edu> | 2022-03-08 13:03:59 +0000 |
---|---|---|
committer | Martin Ruckert <martin.ruckert@hm.edu> | 2022-03-08 13:03:59 +0000 |
commit | 375c5fd723839aea70eb1a5bf6bb2de33a0d3e36 (patch) | |
tree | e4b85f9c9a104d0187363fe3c52525d9947c4419 /Build/source/texk/web2c/hitexdir/doc/hitexman.pdf | |
parent | 71fc1a2bdb865833b4152f4fd6919bb8d46507ec (diff) |
HiTeX: -ltx option implies -etex option, adapting log output to TL conventions
HiTeX: disable creation of empty .hnt output files
git-svn-id: svn://tug.org/texlive/trunk@62516 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/web2c/hitexdir/doc/hitexman.pdf')
-rw-r--r-- | Build/source/texk/web2c/hitexdir/doc/hitexman.pdf | bin | 233835 -> 234052 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/hitexdir/doc/hitexman.pdf b/Build/source/texk/web2c/hitexdir/doc/hitexman.pdf Binary files differindex b1dc2c941a7..4cfaf2b1b24 100644 --- a/Build/source/texk/web2c/hitexdir/doc/hitexman.pdf +++ b/Build/source/texk/web2c/hitexdir/doc/hitexman.pdf |