]> git.openstreetmap.org Git - nominatim.git/commitdiff
remove Ubuntu 18 installation from TOC
authorSarah Hoffmann <lonvia@denofr.de>
Tue, 13 Jun 2023 12:05:54 +0000 (14:05 +0200)
committerSarah Hoffmann <lonvia@denofr.de>
Tue, 13 Jun 2023 12:05:54 +0000 (14:05 +0200)
Fixes #3072.

docs/mkdocs.yml

index eb624d8bd18973b67269e9f6bf7cfe5f4e9abbc9..c2a8d393302bb56d93e9397c5cfd697f9b81c7df 100644 (file)
@@ -45,7 +45,6 @@ nav:
         - 'Testing' : 'develop/Testing.md'
         - 'External Data Sources': 'develop/data-sources.md'
     - 'Appendix':
-        - 'Installation on Ubuntu 18' : 'appendix/Install-on-Ubuntu-18.md'
         - 'Installation on Ubuntu 20' : 'appendix/Install-on-Ubuntu-20.md'
         - 'Installation on Ubuntu 22' : 'appendix/Install-on-Ubuntu-22.md'
 markdown_extensions: