diff options
author | Norbert Preining <norbert@preining.info> | 2019-07-27 07:10:40 +0900 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2019-07-27 07:10:40 +0900 |
commit | 5746945c42943d78beaf4dd98bcbf3e025f10eab (patch) | |
tree | 792dc71e222e7e60996a57e66d5a3299a480bc03 /tlpkg/tlpsrc/harftex.tlpsrc | |
parent | 45c0a5a0d4f32cc068249e84e01e690f8ebc5e03 (diff) |
latex -dev versions for harflatex, luahblatex, luahbjitlatex
Diffstat (limited to 'tlpkg/tlpsrc/harftex.tlpsrc')
-rw-r--r-- | tlpkg/tlpsrc/harftex.tlpsrc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tlpkg/tlpsrc/harftex.tlpsrc b/tlpkg/tlpsrc/harftex.tlpsrc index 0b2013df..96ead81c 100644 --- a/tlpkg/tlpsrc/harftex.tlpsrc +++ b/tlpkg/tlpsrc/harftex.tlpsrc @@ -4,3 +4,5 @@ execute AddFormat name=harftex engine=harftex options="luatex.ini" \ patterns=language.def,language.dat.lua execute AddFormat name=harflatex engine=harftex options="lualatex.ini" \ patterns=language.dat,language.dat.lua +execute AddFormat name=harflatex-dev engine=harftex options="lualatex.ini" \ + patterns=language.dat,language.dat.lua |