summaryrefslogtreecommitdiff
path: root/tools/make_release.py
diff options
context:
space:
mode:
authorHiFiPHile <[email protected]>2026-08-31 05:26:19 +0200
committerHiFiPHile <[email protected]>2026-09-02 10:50:03 +0200
commit389ab7e6c8e78f18092f2a968f533b65d18e856d (patch)
tree379b3b98c0e5cdec15a17c426cc84c0f12e72e5b /tools/make_release.py
parent13971b58df52bc29de97632295fcae43aeade5c9 (diff)
parent42db982e7c6e8ee7d2f80d15a93a7092d3b708c9 (diff)
Merge remote-tracking branch 'origin/master' into agent/fix-dwc2-host-fifo-allocation
Diffstat (limited to 'tools/make_release.py')
-rwxr-xr-xtools/make_release.py1
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()