doc: improve documentation building process

2024-11-26 20:24:40 +01:00 · 2022-06-22 10:02:29 +02:00 · 2022-06-22 10:02:29 +02:00 · bf2264b8e3
commit bf2264b8e3
parent e6bf924bdf
3 changed files with 8 additions and 1 deletions
--- a/docs/mkdocs.yml
+++ b/docs/mkdocs.yml
@ -22,6 +22,10 @@ extra:
 extra_css:
  - stylesheets/extra.css

+plugins:
+  -   mike:
+        canonical_version: latest
+
 theme:
  name: material
  custom_dir: overrides
--- a/docs/pages/robots.txt
+++ b/docs/pages/robots.txt
@ -0,0 +1 @@
+Sitemap: https://valinor.cuyz.io/latest/sitemap.xml
--- a/docs/requirements.txt
+++ b/docs/requirements.txt
@ -1,8 +1,10 @@
 mkdocs==1.3.0
-mike==1.1.2
 markdown==3.3.7
 mkdocs-material==8.2.3

+# Use mike=1.2.x when available
+git+https://github.com/jimporter/mike@392d57b8bb9d14bcedf2451a0dc302709f8055eb
+
 # Markdown extensions
 Pygments==2.12.0
 pymdown-extensions==9.4
				`@ -0,0 +1 @@`
				`Sitemap: https://valinor.cuyz.io/latest/sitemap.xml`