[docs] Update requirements to get latest version of mike

2025-12-22 08:17:08 +00:00 · 2023-07-18 01:01:22 +02:00
parent 1566eeb027
commit 9936467656
2 changed files with 2 additions and 1 deletions
--- a/docs/mkdocs.yml
+++ b/docs/mkdocs.yml
@@ -56,6 +56,7 @@ extra:
 # Plugins
 plugins:
  - mike:
+      alias_type: symlink
      canonical_version: latest  
  - search
  - git-committers:
--- a/docs/requirements.txt
+++ b/docs/requirements.txt
@@ -4,5 +4,5 @@ mkdocs-git-authors-plugin
 mkdocs-git-committers-plugin-2
 mkdocs-git-revision-date-localized-plugin
 mkdocs-glightbox
-mike
+git+https://github.com/jimporter/mike
 lxml