docs/options: Add option reference generator

Evaluate custom module options through a synthetic system, stabilize configuration-dependent defaults for rendering, and commit the generated reference beside its updater.
2026-08-01 23:59:17 +01:00
parent 4084dfe64e
commit b44095f1ed
7 changed files with 472 additions and 9 deletions
@@ -15,4 +15,8 @@ in
  update-docs-assignments = pkgs.writeShellScriptBin "update-docs-assignments" ''
    exec ${pkgs.python3}/bin/python3 ${../ci/update-docs-assignments.py} "$@"
  '';
+
+  update-docs-options = pkgs.writeShellScriptBin "update-docs-options" ''
+    exec ${pkgs.python3}/bin/python3 ${../ci/update-docs-options.py} "$@"
+  '';
 }