Fix for newer mkdocs in nixpkgs 22.05

Author: hamishmack

mkdocs.yml

@@ -13,17 +13,14 @@ site_name: Alternative Haskell Infrastructure for Nixpkgs
 theme: readthedocs
 site_url: null
 repo_url: https://github.com/input-output-hk/haskell.nix
-permalink: true
 markdown_extensions:
   - admonition
   - footnotes
   - tables
   - toc:
       permalink: true
 
-# this is called `nav` in more recent mkdocs versions. Mine
-# right now is 0.17.5
-pages:
+nav:
   - 'Introduction': index.md
   - 'Motivation': motivation.md
   - 'Architecture': architecture.md