Update some old commands

2026-02-21 11:32:53 +01:00
parent 2c37a724ee
commit 2a592753bf
9 changed files with 404 additions and 198 deletions
--- a/build/labels.py
+++ b/build/labels.py
@@ -1,7 +1,7 @@
 # Auto-generate labels and version numbers
 def generate_labels():
    data = ""
-    reset_func = "\\newcommand{\\newsectionNoPB}{"
+    reset_func = "\\newcommand{\\resetNumbering}{"

    for label in [
        "definition",