Revert to pages setting for MkDocs

mpilgrem · mpilgrem · commit 667688e9719f · 2022-08-02T21:23:12.000+01:00
diff --git a/mkdocs.yml b/mkdocs.yml
@@ -12,7 +12,7 @@ extra_css:
 extra_javascript:
 - js/searchhack.js
 
-nav:
+pages:
 - Home: README.md
 - Changelog: ChangeLog.md
 - Tool documentation:
