Versioning of docs (#369)

* Issue #357: versioned docs: Add Mike and make it snow too
arlonproj · Dec 16, 2022 · 7e56614 · 7e56614
1 parent 02e676b
commit 7e56614
Show file tree

Hide file tree

Showing 3 changed files with 17 additions and 2 deletions.
diff --git a/docs/requirements.txt b/docs/requirements.txt
@@ -1,4 +1,6 @@
 mkdocs==1.4.2
-mkdocs-material==8.5.10
+mkdocs-material==8.5.11
 pymdown-extensions==9.9
-mkdocs_pymdownx_material_extras==2.3
+mkdocs_pymdownx_material_extras==2.3.1
+mkdocs-minify-plugin==0.6.2
+mike==1.1.2
diff --git a/mkdocs.yml b/mkdocs.yml
@@ -23,6 +23,11 @@ plugins:
   - search
   - mkdocs_pymdownx_material_extras
 
+extra:
+  version:
+    default: stable
+    provider: mike
+
 extra_javascript:
   - https://unpkg.com/[email protected]/dist/mermaid.min.js
 

diff --git a/overrides/main.html b/overrides/main.html
@@ -0,0 +1,8 @@
+{% extends "base.html" %}
+
+{% block outdated %}
+  You're not viewing the latest version.
+  <a href="{{ '../' ~ base_url }}">
+    <strong>Click here to go to latest.</strong>
+  </a>
+{% endblock %}