From 3f3134bd6a2235367f2aaa31fdcd943bca72c023 Mon Sep 17 00:00:00 2001 From: Casper Welzel Andersen Date: Wed, 22 Sep 2021 14:40:54 +0200 Subject: [PATCH] Add support for docs versioning via `mike` --- .gitignore | 3 +++ mkdocs.yml | 3 +++ requirements_docs.txt | 1 + 3 files changed, 7 insertions(+) diff --git a/.gitignore b/.gitignore index 118528a15..5f3135bc7 100644 --- a/.gitignore +++ b/.gitignore @@ -11,3 +11,6 @@ test_graph2 *.pdf *.xml + +# Documentation +site/ diff --git a/mkdocs.yml b/mkdocs.yml index b578362b9..df7ab06c2 100644 --- 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 index a93b93b14..fba54c5f4 100644 --- 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