chore(cli): Avoid deprecation error if includes not actually used

sile-typesetter · Dec 19, 2023 · 694e000 · 694e000
1 parent f5114d3
commit 694e000
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/core/cli.lua b/core/cli.lua
@@ -119,7 +119,7 @@ cli.parseArguments = function ()
   for _, path in ipairs(opts.postamble) do
     table.insert(SILE.input.postambles, path)
   end
-  if opts.include then
+  if #opts.include > 0 then
     SU.deprecated("-I/--include", "-u/--use or -p/--preamble", "0.14.0", "0.15.0")
   end
   -- http://lua-users.org/wiki/VarargTheSecondClassCitizen