diff options
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() |