Actually show CHANGELOG in the documentation

tazend · tazend · commit 0fb9685c0d32 · 2023-07-19T19:14:26.000+02:00
diff --git a/docs/changelog.md b/docs/changelog.md
@@ -0,0 +1 @@
+--8<-- "CHANGELOG.md"
diff --git a/mkdocs.yml b/mkdocs.yml
@@ -5,6 +5,12 @@ repo_url: "https://github.com/PySlurm/pyslurm"
 repo_name: "PySlurm/pyslurm"
 copyright: Copyright &copy; 2023 PySlurm Developers
 
+nav:
+  - Home:
+    - Home: index.md
+    - Changelog: changelog.md
+  - ...
+
 theme:
   name: "material"
   logo: logo.png
