diff options
Diffstat (limited to 'support/make4ht/extensions/make4ht-ext-detect_engine.lua')
-rw-r--r-- | support/make4ht/extensions/make4ht-ext-detect_engine.lua | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/support/make4ht/extensions/make4ht-ext-detect_engine.lua b/support/make4ht/extensions/make4ht-ext-detect_engine.lua index 8bb91d3a69..6c8bc74106 100644 --- a/support/make4ht/extensions/make4ht-ext-detect_engine.lua +++ b/support/make4ht/extensions/make4ht-ext-detect_engine.lua @@ -34,8 +34,14 @@ local change_table = { }, pdflatex = { htlatex = "latex" + }, + harflatex = { + htlatex = "lualatex-dev --output-format=dvi" + }, + harftex= { + htlatex = "harftex --output-format=dvi", + command = htlatex.httex } - } local function find_magic_program(filename) |