Commit Graph

3 Commits

Author SHA1 Message Date
Ben Barham
b29a0a9b3d Fix up the userdocs index
A few docs weren't added to the index, re-run the generation and fix the
test to actually run in order to catch future issues.
2025-12-06 10:18:19 +10:00
Ben Barham
cadc6443c7 Update generate-doc-index to group all diagnostic groups together
Moves all the "diagnostic descriptions" into "diagnostic groups". This
then allows some additional handling for:
1. Error when diagnostic files and their definition in
   `DiagnosticGroups.def` don't match up
2. Error when a title is missing its group name
3. List of all groups with warnings
2025-10-20 19:19:36 -07:00
Ben Barham
5ee91339c3 [userdocs] Automatically generate doc indices
Add a tool for automatically generating the doc indices for notes,
groups, and features.
2025-07-07 13:59:09 -07:00