diff options
Diffstat (limited to 'Master')
-rw-r--r-- | Master/tlpkg/tlpsrc/hitex.tlpsrc | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Master/tlpkg/tlpsrc/hitex.tlpsrc b/Master/tlpkg/tlpsrc/hitex.tlpsrc index 578a13d056b..ec52f196d57 100644 --- a/Master/tlpkg/tlpsrc/hitex.tlpsrc +++ b/Master/tlpkg/tlpsrc/hitex.tlpsrc @@ -6,9 +6,9 @@ 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 \ -# options="-etex -ltx hilatex.ini" \ -# fmttriggers=${global_latex_deps} +execute AddFormat name=hilatex engine=hitex patterns=language.dat \ + options="-etex -ltx hilatex.ini" \ + fmttriggers=${global_latex_deps} binpattern f bin/${ARCH}/hishrink binpattern f bin/${ARCH}/histretch |