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/hitexdir | |
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/hitexdir')
-rw-r--r-- | Build/source/texk/web2c/hitexdir/doc/hitexman.tex | 4 | ||||
-rw-r--r-- | Build/source/texk/web2c/hitexdir/hiformat.w | 4 |
2 files changed, 4 insertions, 4 deletions
diff --git a/Build/source/texk/web2c/hitexdir/doc/hitexman.tex b/Build/source/texk/web2c/hitexdir/doc/hitexman.tex index 17e5bb89325..371660ab42f 100644 --- a/Build/source/texk/web2c/hitexdir/doc/hitexman.tex +++ b/Build/source/texk/web2c/hitexdir/doc/hitexman.tex @@ -35,9 +35,9 @@ \def\setrevision$#1: #2 ${\gdef\lastrevision{#2}} -\setrevision$Revision: 2705 $ +\setrevision$Revision$ \def\setdate$#1(#2) ${\gdef\lastdate{#2}} -\setdate$Date: 2022-03-04 16:48:46 +0100 (Fri, 04 Mar 2022) $ +\setdate$Date$ \null diff --git a/Build/source/texk/web2c/hitexdir/hiformat.w b/Build/source/texk/web2c/hitexdir/hiformat.w index 6a9634fb218..d66e292ca53 100644 --- a/Build/source/texk/web2c/hitexdir/hiformat.w +++ b/Build/source/texk/web2c/hitexdir/hiformat.w @@ -48,9 +48,9 @@ \def\setrevision$#1: #2 ${\gdef\lastrevision{#2}} -\setrevision$Revision: 2699 $ +\setrevision$Revision$ \def\setdate$#1(#2) ${\gdef\lastdate{#2}} -\setdate$Date: 2022-02-25 10:21:04 +0100 (Fri, 25 Feb 2022) $ +\setdate$Date$ \null |