diff options
| author | HiFiPHile <[email protected]> | 2026-09-04 11:18:06 +0200 |
|---|---|---|
| committer | HiFiPHile <[email protected]> | 2026-09-04 11:18:06 +0200 |
| commit | 3976e532800cfa065b4fbf3f32b01b4a68e4d7f4 (patch) | |
| tree | 65a2d91d0a3ea8abefd78c83e2974da3b5971b32 /tools/make_release.py | |
| parent | cd9bbed39f5851d5e4dc64271f18b8db777acb53 (diff) | |
| parent | 29851564af08cb4909175315d20c71f5eca13040 (diff) | |
Merge remote-tracking branch 'origin/master' into codex/class-reference-docs
Diffstat (limited to 'tools/make_release.py')
| -rwxr-xr-x | tools/make_release.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/make_release.py b/tools/make_release.py index 65226834f..ec4755f34 100755 --- a/tools/make_release.py +++ b/tools/make_release.py @@ -59,6 +59,7 @@ with open(f_sonar_properties, 'w') as f: # gen docs gen_doc.gen_deps_doc() gen_doc.gen_boards_doc() +gen_doc.gen_hil_boards_doc() # gen presets gen_presets.main() |