diff --git a/l3build.lua b/l3build.lua index 7547758..90497d1 100644 --- a/l3build.lua +++ b/l3build.lua @@ -132,8 +132,12 @@ if forcedocepoch then end end -- Allow for LaTeX "dev" release -if options["dev"] and checkformat == "latex" then - checkformat = "latex-dev" +if options["dev"] + if checkformat == "latex" then + checkformat = "latex-dev" + elseif checkformat ~= "latex-dev" then + print("Ingoring --dev option with non-LaTeX format") + end end --