Issue info message if --dev is used with non-LaTeX format

latex3 · Oct 16, 2024 · 9ddd467 · 9ddd467
1 parent 4afdba3
commit 9ddd467
Showing 1 changed file with 6 additions and 2 deletions.
diff --git 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
 
 --