X-Git-Url: https://git.openstreetmap.org./nominatim.git/blobdiff_plain/b8f7563da9656b9f07e6fefbb8ddae12badda717..2c24b9da5a94dd1ef3b51381d108281c56842b01:/docs/mkdocs.yml

diff --git a/docs/mkdocs.yml b/docs/mkdocs.yml
index 0bbc48c8..b0aee5d0 100644
--- a/docs/mkdocs.yml
+++ b/docs/mkdocs.yml
@@ -10,6 +10,11 @@ pages:
         - 'Importing and Updating' : 'admin/Import-and-Update.md'
         - 'Migration from older Versions' : 'admin/Migration.md'
         - 'Troubleshooting' : 'admin/Faq.md'
+    - 'Developers Guide':
+        - 'Overview' : 'develop/overview.md'
     - 'Appendix':
         - 'Installation on CentOS 7' : 'appendix/Install-on-Centos-7.md'
         - 'Installation on Ubuntu 16' : 'appendix/Install-on-Ubuntu-16.md'
+markdown_extensions:
+    - codehilite:
+        use_pygments: False