chore: add mike to mkdocs config

2024-08-20 20:17:31 +02:00
parent 80ad1a68e7
commit c7485e3fd4
2 changed files with 7 additions and 0 deletions
@@ -112,3 +112,9 @@ markdown_extensions:
      custom_checkbox: true
  - pymdownx.tilde
  - mdx_truly_sane_lists
+extra:
+  version:
+    provider: mike
+plugins:
+  - mike:
+      deploy_prefix: 'en'