Mark/handouts
1
0
Fork 0
Code Pull Requests 1 Actions Packages Releases Activity

Move handouts

Browse Source
This commit is contained in:
Mark
2025-01-21 18:22:04 -08:00
parent 2da6bca192
commit 0e591b6d28
275 changed files with 10 additions and 39 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
tools/build/main.py
View File

@ -299,9 +299,9 @@ def build_dir(base: str, out_sub: str, index: list[IndexEntry]):
index: list[IndexEntry] = []
index.extend(build_dir("Warm-Ups", "Warm-Ups", index))
index.extend(build_dir("Advanced", "Advanced", index))
index.extend(build_dir("Intermediate", "Intermediate", index))
index.extend(build_dir("src/Advanced", "Advanced", index))
index.extend(build_dir("src/Intermediate", "Intermediate", index))
index.extend(build_dir("src/Warm-Ups", "Warm-Ups", index))
with open(OUT_DIR / "index.json", "w") as f:
f.write(json.dumps(index))