diff options
Diffstat (limited to 'Master/tlpkg')
-rw-r--r-- | Master/tlpkg/tlpsrc/hitex.tlpsrc | 2 |
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" \ |