Skip to content

Commit 63c44a4

Browse files
authored
[skip changelog] Add missing pages to website navigation panel (#2904)
The project includes a documentation website which is generated by the MkDocs static site generator. The site contains a navigation panel which lists the available documentation pages. Rather than being automatically generated from the contents of the `docs` folder, the contents of the navigation panel have been explicitly defined via the MkDocs configuration file. This means that the project contributors must remember to update the configuration file when development work results in the addition or removal of web pages. This was not done when the `config get` and `debug check` commands were added. The web pages are generated as expected, but the missing configuration file entries means that a visitor to the website would never know of their existence, and could only access them by hacking the URL. The missing entries are hereby added to the MkDocs configuration file.
1 parent 3929052 commit 63c44a4

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

mkdocs.yml

+2
Original file line numberDiff line numberDiff line change
@@ -67,6 +67,7 @@ nav:
6767
- config init: commands/arduino-cli_config_init.md
6868
- config add: commands/arduino-cli_config_add.md
6969
- config delete: commands/arduino-cli_config_delete.md
70+
- config get: commands/arduino-cli_config_get.md
7071
- config remove: commands/arduino-cli_config_remove.md
7172
- config set: commands/arduino-cli_config_set.md
7273
- core: commands/arduino-cli_core.md
@@ -79,6 +80,7 @@ nav:
7980
- core upgrade: commands/arduino-cli_core_upgrade.md
8081
- daemon: commands/arduino-cli_daemon.md
8182
- debug: commands/arduino-cli_debug.md
83+
- debug check: commands/arduino-cli_debug_check.md
8284
- lib: commands/arduino-cli_lib.md
8385
- lib deps: commands/arduino-cli_lib_deps.md
8486
- lib download: commands/arduino-cli_lib_download.md

0 commit comments

Comments
 (0)