Commit 792e2e0
authored
Add "Plugins" page to the website navigation panel (#187)
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.1 parent bac1d05 commit 792e2e0
1 file changed
+1
-0
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
59 | 59 | | |
60 | 60 | | |
61 | 61 | | |
| 62 | + | |
0 commit comments