Try to bump MkDocs

mpilgrem · mpilgrem · commit e49aacf9e34c · 2022-08-31T20:30:39.000+01:00
diff --git a/.readthedocs.yaml b/.readthedocs.yaml
@@ -9,7 +9,7 @@ version: 2
 build:
   os: ubuntu-20.04
   tools:
-    python: "3.6"
+    python: "3.9"
 
 mkdocs:
   configuration: mkdocs.yml
diff --git a/doc/requirements.txt b/doc/requirements.txt
@@ -9,6 +9,5 @@
 # The pip guide to its requirements file format:
 # https://pip.pypa.io/en/stable/reference/requirements-file-format/
 #
-# Last version before the major changes in mkdocs==1.0. See:
-# https://www.mkdocs.org/about/release-notes/#version-0175-2018-07-06
-mkdocs==0.17.5
+# Current version as at 31 August 2022
+mkdocs==1.3.1
diff --git a/mkdocs.yml b/mkdocs.yml
@@ -12,7 +12,7 @@ extra_css:
 extra_javascript:
 - js/searchhack.js
 
-pages:
+nav:
 - Home: README.md
 - Changelog: ChangeLog.md
 - Tool documentation:

Original file line number	Diff line number	Diff line change
`@@ -9,6 +9,5 @@`
`9`	`9`	`# The pip guide to its requirements file format:`
`10`	`10`	`# https://pip.pypa.io/en/stable/reference/requirements-file-format/`
`11`	`11`	`#`
`12`		`-# Last version before the major changes in mkdocs==1.0. See:`
`13`		`-# https://www.mkdocs.org/about/release-notes/#version-0175-2018-07-06`
`14`		`-mkdocs==0.17.5`
	`12`	`+# Current version as at 31 August 2022`
	`13`	`+mkdocs==1.3.1`