doc: Rename main frontend tools page

This commit is contained in:
architeuthidae 2024-07-29 11:27:48 +08:00 committed by Sébastien Bourdeauducq
parent 96bc4174cd
commit be8fb8cdbe
2 changed files with 1 additions and 1 deletions

View File

@ -48,7 +48,7 @@ ARTIQ manual
:caption: References :caption: References
:maxdepth: 2 :maxdepth: 2
main_frontend_reference main_frontend_tools
core_language_reference core_language_reference
core_drivers_reference core_drivers_reference
utilities utilities