Dev Docs: Add configuration to navigation

This makes it possible to access the developer documentation about configuration code.

Signed-off-by: Philip Molares <philip.molares@udo.edu>
This commit is contained in:
Philip Molares 2021-02-03 20:58:16 +01:00
parent c593965d5a
commit c0e797bca6
3 changed files with 13 additions and 9 deletions

View file

@ -9,6 +9,7 @@ nav:
- Home: index.md
- Developer:
- '2.0 Development': dev/2.0.md
- Configuration: dev/config.md
- 'Documentation': dev/documentation.md
- FAQ: https://hedgedoc.org/faq
markdown_extensions: