From: Sarah Hoffmann <lonvia@denofr.de>
Date: Sat, 25 Jun 2022 19:29:00 +0000 (+0200)
Subject: docs: replace deprecated pages option
X-Git-Tag: v4.1.0~20
X-Git-Url: https://git.openstreetmap.org./nominatim.git/commitdiff_plain/6f15306766b6681e708cd2152d37d7c33681d2b9?hp=-c

docs: replace deprecated pages option

Fixes #2661.
---

6f15306766b6681e708cd2152d37d7c33681d2b9
diff --git a/docs/mkdocs.yml b/docs/mkdocs.yml
index a3860cba..a156fb71 100644
--- a/docs/mkdocs.yml
+++ b/docs/mkdocs.yml
@@ -3,7 +3,7 @@ theme: readthedocs
 docs_dir: ${CMAKE_CURRENT_BINARY_DIR}
 site_url: https://nominatim.org
 repo_url: https://github.com/openstreetmap/Nominatim
-pages:
+nav:
     - 'Introduction' : 'index.md'
     - 'API Reference':
         - 'Overview': 'api/Overview.md'