From 58d15b7a7eeeb7196e5896e8b4ace9e25dc7b470 Mon Sep 17 00:00:00 2001 From: Karl Berry Date: Mon, 28 Nov 2022 16:12:15 +0000 Subject: \newmarks missing from distributed hitex binary, can't enable hilatex yet. git-svn-id: svn://tug.org/texlive/trunk@65130 c570f23f-e606-0410-a88d-b1316a301751 --- Master/tlpkg/tlpsrc/hitex.tlpsrc | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Master/tlpkg/tlpsrc/hitex.tlpsrc b/Master/tlpkg/tlpsrc/hitex.tlpsrc index ec52f196d57..2e01ee40b34 100644 --- a/Master/tlpkg/tlpsrc/hitex.tlpsrc +++ b/Master/tlpkg/tlpsrc/hitex.tlpsrc @@ -6,7 +6,8 @@ execute AddFormat name=hitex engine=hitex patterns=language.def \ options="-etex -ltx hitex.ini" \ fmttriggers=${fmtcomm},etex,knuth-lib,plain # -execute AddFormat name=hilatex engine=hitex patterns=language.dat \ +execute AddFormat name=hilatex mode=disabled engine=hitex \ + patterns=language.dat \ options="-etex -ltx hilatex.ini" \ fmttriggers=${global_latex_deps} -- cgit v1.2.3