texlive[62515] U trunk/Build/source/texk/web2c/hitexdir: HiTeX: -ltx

[commits+mruckert at tug.org]

Revision: 62515
          http://tug.org/svn/texlive?view=revision&revision=62515
Author:   mruckert
Date:     2022-03-08 14:02:10 +0100 (Tue, 08 Mar 2022)
Log Message:
-----------
HiTeX: -ltx option implies -etex option, adapting log output to TL conventions
HiTeX: disable creation of empty .hnt output files

Modified Paths:
--------------
    trunk/Build/source/texk/web2c/hitexdir/doc/hitexman.tex
    trunk/Build/source/texk/web2c/hitexdir/hiformat.w

Property Changed:
----------------
    trunk/Build/source/texk/web2c/hitexdir/doc/hitexman.tex
    trunk/Build/source/texk/web2c/hitexdir/hiformat.w
    trunk/Build/source/texk/web2c/hitexdir/hitex.w

Modified: trunk/Build/source/texk/web2c/hitexdir/doc/hitexman.tex
===================================================================
--- trunk/Build/source/texk/web2c/hitexdir/doc/hitexman.tex	2022-03-08 12:25:05 UTC (rev 62514)
+++ trunk/Build/source/texk/web2c/hitexdir/doc/hitexman.tex	2022-03-08 13:02:10 UTC (rev 62515)
@@ -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


Property changes on: trunk/Build/source/texk/web2c/hitexdir/doc/hitexman.tex
___________________________________________________________________
Added: svn:keywords
## -0,0 +1 ##
+Date Revision
\ No newline at end of property
Modified: trunk/Build/source/texk/web2c/hitexdir/hiformat.w
===================================================================
--- trunk/Build/source/texk/web2c/hitexdir/hiformat.w	2022-03-08 12:25:05 UTC (rev 62514)
+++ trunk/Build/source/texk/web2c/hitexdir/hiformat.w	2022-03-08 13:02:10 UTC (rev 62515)
@@ -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
 


Property changes on: trunk/Build/source/texk/web2c/hitexdir/hiformat.w
___________________________________________________________________
Added: svn:keywords
## -0,0 +1 ##
+Date Revision
\ No newline at end of property
Index: trunk/Build/source/texk/web2c/hitexdir/hitex.w
===================================================================
--- trunk/Build/source/texk/web2c/hitexdir/hitex.w	2022-03-08 12:25:05 UTC (rev 62514)
+++ trunk/Build/source/texk/web2c/hitexdir/hitex.w	2022-03-08 13:02:10 UTC (rev 62515)

Property changes on: trunk/Build/source/texk/web2c/hitexdir/hitex.w
___________________________________________________________________
Added: svn:keywords
## -0,0 +1 ##
+Date Revision
\ No newline at end of property