Try to bump MkDocs

commercialhaskell · Aug 31, 2022 · e49aacf · e49aacf
1 parent de97f67
commit e49aacf
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 5 deletions.
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: