From e35f8147b3162ba5de744c02ee923246b4ffb59e Mon Sep 17 00:00:00 2001 From: Ulrike Fischer Date: Tue, 11 Oct 2022 20:04:42 +0200 Subject: [PATCH] don't use -dev --- required/latex-lab/build.lua | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/required/latex-lab/build.lua b/required/latex-lab/build.lua index 8a7ab6370..4f31c5131 100644 --- a/required/latex-lab/build.lua +++ b/required/latex-lab/build.lua @@ -31,11 +31,11 @@ checkengines = { "pdftex", "luatex" } -- specialformats specialformats = specialformats or {} -specialformats["latex"] = specialformats["latex"] or - { - luatex = {binary="luahbtex",format = "lualatex-dev"}, - pdftex = {binary="pdftex",format = "pdflatex-dev"}, - } +--specialformats["latex"] = specialformats["latex"] or +-- { +-- luatex = {binary="luahbtex",format = "lualatex-dev"}, +-- pdftex = {binary="pdftex",format = "pdflatex-dev"}, +-- } checkdeps =