Add support for docs versioning via mike

emmo-repo · Sep 27, 2021 · 3f3134b · 3f3134b
1 parent fc91951
commit 3f3134b
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -11,3 +11,6 @@ test_graph2
 
 *.pdf
 *.xml
+
+# Documentation
+site/
diff --git a/mkdocs.yml b/mkdocs.yml
@@ -27,6 +27,9 @@ extra:
     - icon: fontawesome/brands/github
       link: https://github.com/emmo-repo
       name: EMMO on GitHub
+  version:
+    provider: mike
+    default: latest
 
 extra_css:
   - css/reference.css

diff --git a/requirements_docs.txt b/requirements_docs.txt
@@ -1,4 +1,5 @@
 invoke~=1.6
+mike~=1.1
 mkdocs~=1.2
 mkdocs-awesome-pages-plugin~=2.5
 mkdocs-material~=7.2
-Original file line number
+Diff line change
@@ Expand Up / @@ -11,3 +11,6 @@ test_graph2 @@
     *.pdf
     *.xml
+    # Documentation
+    site/