summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2022-11-28 16:12:15 +0000
committerKarl Berry <karl@freefriends.org>2022-11-28 16:12:15 +0000
commit58d15b7a7eeeb7196e5896e8b4ace9e25dc7b470 (patch)
treedbb6f3596b7f250065bb05eab5fca3444f17b18a
parent75713e22a17e994b53f1bb83ea1d39879fa5826c (diff)
\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
-rw-r--r--Master/tlpkg/tlpsrc/hitex.tlpsrc3
1 files changed, 2 insertions, 1 deletions
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}