From 63fe0ba964d3eb8f6f13b21469cea59a2fe2f038 Mon Sep 17 00:00:00 2001 From: Joseph Wright <joseph@texdev.net> Date: Wed, 16 Oct 2024 07:07:23 +0100 Subject: [PATCH] Issue info message if --dev is used with non-LaTeX format --- l3build.lua | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/l3build.lua b/l3build.lua index 7547758..8b0fc98 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"] then + if checkformat == "latex" then + checkformat = "latex-dev" + elseif checkformat ~= "latex-dev" then + print("Ingoring --dev option with non-LaTeX format") + end end --