]> git.openstreetmap.org Git - nominatim.git/blobdiff - mkdocs.yml
remove cmake and related installation instructions
[nominatim.git] / mkdocs.yml
index c5f9b7bde8a40d78c5c25cb4eafd5fe37f0e7195..6a24e81680ee1243e69c119a45ed981cc0ab549e 100644 (file)
@@ -1,8 +1,12 @@
 site_name: Nominatim Manual
 theme:
 site_name: Nominatim Manual
 theme:
+  font: false
   name: material
   features:
     - navigation.tabs
   name: material
   features:
     - navigation.tabs
+    - toc.integrate
+  plugins:
+    - privacy
 copyright: Copyright © Nominatim developer community
 docs_dir: docs
 site_url: https://nominatim.org
 copyright: Copyright © Nominatim developer community
 docs_dir: docs
 site_url: https://nominatim.org
@@ -22,8 +26,7 @@ nav:
         - 'Basic Installation': 'admin/Installation.md'
         - 'Import' : 'admin/Import.md'
         - 'Update' : 'admin/Update.md'
         - 'Basic Installation': 'admin/Installation.md'
         - 'Import' : 'admin/Import.md'
         - 'Update' : 'admin/Update.md'
-        - 'Deploy (Python frontend)' : 'admin/Deployment-Python.md'
-        - 'Deploy (PHP frontend)' : 'admin/Deployment-PHP.md'
+        - 'Deploy' : 'admin/Deployment-Python.md'
         - 'Nominatim UI'  : 'admin/Setup-Nominatim-UI.md'
         - 'Advanced Installations' : 'admin/Advanced-Installations.md'
         - 'Maintenance' : 'admin/Maintenance.md'
         - 'Nominatim UI'  : 'admin/Setup-Nominatim-UI.md'
         - 'Advanced Installations' : 'admin/Advanced-Installations.md'
         - 'Maintenance' : 'admin/Maintenance.md'
@@ -35,6 +38,7 @@ nav:
         - 'Overview': 'customize/Overview.md'
         - 'Import Styles': 'customize/Import-Styles.md'
         - 'Configuration Settings': 'customize/Settings.md'
         - 'Overview': 'customize/Overview.md'
         - 'Import Styles': 'customize/Import-Styles.md'
         - 'Configuration Settings': 'customize/Settings.md'
+        - 'API Result Formatting': 'customize/Result-Formatting.md'
         - 'Per-Country Data': 'customize/Country-Settings.md'
         - 'Place Ranking' : 'customize/Ranking.md'
         - 'Importance' : 'customize/Importance.md'
         - 'Per-Country Data': 'customize/Country-Settings.md'
         - 'Place Ranking' : 'customize/Ranking.md'
         - 'Importance' : 'customize/Importance.md'
@@ -67,10 +71,12 @@ markdown_extensions:
         alternate_style: true
     - def_list
     - toc:
         alternate_style: true
     - def_list
     - toc:
-        permalink: 
+        toc_depth: 4
+        permalink: 🔗
 extra_css: [extra.css, styles.css]
 exclude_docs: |
     mk_install_instructions.py
 extra_css: [extra.css, styles.css]
 exclude_docs: |
     mk_install_instructions.py
+site_dir: site-html
 plugins:
     - search
     - mkdocstrings:
 plugins:
     - search
     - mkdocstrings: