Include the numbered installer batch files in the Windows 11 seed ISO

The launcher also rebuilds the seed ISO when one of them changes.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

run-windows11.py

@@ -250,8 +250,9 @@ if installing_from_iso:
     if not tools_iso.is_file():
         die(f"downloader did not create: {tools_iso}")
 
-    seed_sources = [script_dir / "seediso" / "windows11" / name
-                    for name in ("Autounattend.xml", "Configure-Windows.ps1")]
+    seed_dir = script_dir / "seediso" / "windows11"
+    seed_sources = [seed_dir / "Autounattend.xml", seed_dir / "Configure-Windows.ps1",
+                    *sorted(seed_dir.glob("[0-9][0-9]-*.bat"))]
 
     def newer_than_seed(source):
         # Mirrors bash `-nt`: true if source exists and is newer than seed_iso.

seediso/windows11/build-seed.sh

@@ -7,6 +7,10 @@ seed_files=(
   "$script_dir/Autounattend.xml"
   "$script_dir/Configure-Windows.ps1"
 )
+# Numbered installer scripts (10-Install-Git.bat, 20-..., in install order).
+shopt -s nullglob
+seed_files+=("$script_dir"/[0-9][0-9]-*.bat)
+shopt -u nullglob
 
 mkdir -p "$(dirname -- "$output")"
 if command -v xorriso >/dev/null 2>&1; then