From c7485e3fd48351085f46a8216a4347b1cb6b908c Mon Sep 17 00:00:00 2001 From: Matthias Date: Tue, 20 Aug 2024 20:17:31 +0200 Subject: [PATCH] chore: add mike to mkdocs config --- docs/requirements-docs.txt | 1 + mkdocs.yml | 6 ++++++ 2 files changed, 7 insertions(+) diff --git a/docs/requirements-docs.txt b/docs/requirements-docs.txt index 1d29ef619..14f30e10f 100644 --- a/docs/requirements-docs.txt +++ b/docs/requirements-docs.txt @@ -4,3 +4,4 @@ mkdocs-material==9.5.32 mdx_truly_sane_lists==1.3 pymdown-extensions==10.9 jinja2==3.1.4 +mike==2.1.3 diff --git a/mkdocs.yml b/mkdocs.yml index 62274daa9..11c452def 100644 --- a/mkdocs.yml +++ b/mkdocs.yml @@ -112,3 +112,9 @@ markdown_extensions: custom_checkbox: true - pymdownx.tilde - mdx_truly_sane_lists +extra: + version: + provider: mike +plugins: + - mike: + deploy_prefix: 'en'