diff options
| author | Martin Ruckert <martin.ruckert@hm.edu> | 2022-03-08 13:02:10 +0000 |
|---|---|---|
| committer | Martin Ruckert <martin.ruckert@hm.edu> | 2022-03-08 13:02:10 +0000 |
| commit | 71fc1a2bdb865833b4152f4fd6919bb8d46507ec (patch) | |
| tree | 954f155cab9f24494851262b86bd1bf575d7ff45 /Build/source/texk/web2c/mf.ch | |
| parent | b2b69e7a581da37faffd059d5ab61dba6e3da5f0 (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@62515 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/web2c/mf.ch')
0 files changed, 0 insertions, 0 deletions