From ba6bfc2c9cd29475e61f0f07641351e826da7394 Mon Sep 17 00:00:00 2001 From: per1234 Date: Thu, 20 Jul 2023 15:38:41 -0700 Subject: [PATCH] Add "Plugins" page to the website navigation panel The project documentation is published in a website generated by MkDocs. The primary UI for discovering and accessing the various pages of the site is through the navigation panel/menu. In order to have control over the structure, the contents of the navigation element are explicitly defined in the `nav` key of the MkDocs configuration file. A new "Plugins" page was added to the documentation. Previously that page it was not included in the `nav` key so the page was not listed in the website's navigation element. --- mkdocs.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/mkdocs.yml b/mkdocs.yml index 4f65a229..eabd7259 100644 --- a/mkdocs.yml +++ b/mkdocs.yml @@ -59,3 +59,4 @@ nav: - firmware get-version: commands/arduino-fwuploader_firmware_get-version.md - firmware list: commands/arduino-fwuploader_firmware_list.md - version: commands/arduino-fwuploader_version.md + - Plugins: plugins.md