Fix the default behavior of mike for version aliases

dtdesign · dtdesign · commit 8d4c228bea70 · 2025-01-05T13:16:04.000+01:00
diff --git a/mkdocs.yml b/mkdocs.yml
@@ -183,6 +183,8 @@ plugins:
   - macros:
       j2_comment_start_string: '{jinja#'
       j2_variable_start_string: '{jinja{'
+  - mike:
+    alias_type: redirect
 
 markdown_extensions:
   - toc:
