vagrant centos: make sure /home/vagrant/Nominatim directory doesnt get created

[nominatim.git] / docs / mkdocs.yml

diff --git a/docs/mkdocs.yml b/docs/mkdocs.yml
index 0bbc48c8d1d7efbc2f74e8e2c63ed2507058fa78..d647dd8717a9fd9984d63ea8cf16083275a8ddfc 100644 (file)
--- a/docs/mkdocs.yml
+++ b/docs/mkdocs.yml
@@ -13,3 +13,6 @@ pages:
     - '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