diff options
author | Clement Tsang <34804052+ClementTsang@users.noreply.github.com> | 2023-11-16 03:17:21 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-11-16 03:17:21 -0500 |
commit | 036366274ea8649648e6af601f3320cc69fb3c0c (patch) | |
tree | 62c364589eaeb6bd52526a77775214353fbd7452 /docs/mkdocs.yml | |
parent | 04713bf81d1ea6e50ae40b80b5ad38aa1c57ac8c (diff) |
docs: bump mike to v2.0.0 (#1318)
* bump mike
* bump some docs
* update some settings and serve script to use mike
Diffstat (limited to 'docs/mkdocs.yml')
-rw-r--r-- | docs/mkdocs.yml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/docs/mkdocs.yml b/docs/mkdocs.yml index a58622b8..f59e9ddc 100644 --- a/docs/mkdocs.yml +++ b/docs/mkdocs.yml @@ -113,6 +113,8 @@ markdown_extensions: plugins: - tags - search + - mike: + canonical_version: stable extra: # Versioning |