remove Ubuntu 18 installation from TOC

Fixes #3072.
This commit is contained in:
Sarah Hoffmann
2023-06-13 14:05:54 +02:00
parent 9af190a43c
commit 7aa0aba382

View 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: