docs: replace deprecated pages option

Fixes #2661.

diff --git a/docs/mkdocs.yml b/docs/mkdocs.yml
index a3860cbaa2ab737ffc2a8d0d5f92476d8dea6cd9..a156fb7115417d60647e7d01a787cb06dda85811 100644 (file)
--- 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'