[latex3-commits] [latex3/l3build] main: Throw warnings on unknown doc name(s) (5ec2916)

[github at latex-project.org]

Repository : https://github.com/latex3/l3build
On branch  : main
Link       : https://github.com/latex3/l3build/commit/5ec29167b82f73966106b70acf482796de4c6c09

>---------------------------------------------------------------

commit 5ec29167b82f73966106b70acf482796de4c6c09
Author: Yukai Chou <muzimuzhi at gmail.com>
Date:   Tue Dec 26 09:56:09 2023 +0800

    Throw warnings on unknown doc name(s)


>---------------------------------------------------------------

5ec29167b82f73966106b70acf482796de4c6c09
 CHANGELOG.md            |  3 +++
 l3build-typesetting.lua | 13 +++++++++++++
 2 files changed, 16 insertions(+)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 8d1ec76..52cd931 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -7,6 +7,9 @@ this project uses date-based 'snapshot' version identifiers.
 
 ## [Unreleased]
 
+### Changed
+- Throw warnings on unknown doc name(s)
+
 ## [2023-12-15]
 
 ### Fixed
diff --git a/l3build-typesetting.lua b/l3build-typesetting.lua
index 2c415a8..1f34c9c 100644
--- a/l3build-typesetting.lua
+++ b/l3build-typesetting.lua
@@ -184,6 +184,12 @@ function doc(files)
   local errorlevel = docinit()
   if errorlevel ~= 0 then return errorlevel end
   local done = {}
+  local files_unknown = {}
+  if files and next(files) then
+    for _, file in pairs(files) do
+      files_unknown[file] = true
+    end
+  end
   for _,typesetfiles in ipairs({typesetdemofiles,typesetfiles}) do
     for _,glob in pairs(typesetfiles) do
       local destpath,globstub = splitpath(glob)
@@ -198,6 +204,7 @@ function doc(files)
             typeset = false
             for _,file in pairs(files) do
               if name == file then
+                files_unknown[file] = nil
                 typeset = true
                 break
               end
@@ -219,5 +226,11 @@ function doc(files)
       end
     end
   end
+  if next(files_unknown) then
+    for file, _ in pairs(files_unknown) do
+      print("Unknown doc name \"" .. file .. "\"")
+    end
+    return 1
+  end
   return 0
 end