summaryrefslogtreecommitdiff
path: root/Master/tlpkg/tlpsrc/hitex.tlpsrc
diff options
context:
space:
mode:
Diffstat (limited to 'Master/tlpkg/tlpsrc/hitex.tlpsrc')
-rw-r--r--Master/tlpkg/tlpsrc/hitex.tlpsrc2
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/tlpkg/tlpsrc/hitex.tlpsrc b/Master/tlpkg/tlpsrc/hitex.tlpsrc
index 7ff96c3aa74..ec52f196d57 100644
--- a/Master/tlpkg/tlpsrc/hitex.tlpsrc
+++ b/Master/tlpkg/tlpsrc/hitex.tlpsrc
@@ -4,7 +4,7 @@ tlpsetvar fmtcomm cm,hyphen-base
#
execute AddFormat name=hitex engine=hitex patterns=language.def \
options="-etex -ltx hitex.ini" \
- fmttriggers=${fmtcomm},etex,plain
+ fmttriggers=${fmtcomm},etex,knuth-lib,plain
#
execute AddFormat name=hilatex engine=hitex patterns=language.dat \
options="-etex -ltx hilatex.ini" \