diff --git a/docs/conf.py b/docs/conf.py index f4ba3c003f6b..330ae919a62a 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -649,7 +649,15 @@ def fixup_tutorials(original_url: str) -> str: "header_dropdown": header_dropdown, "header_logo": header_logo, "header_logo_link": header_logo_link, - "version_prefixes": ["main", "v0.8.0/", "v0.9.0/", "v0.10.0/", "v0.11.0/", "v0.12.0/"], + "version_prefixes": [ + "main", + "v0.8.0/", + "v0.9.0/", + "v0.10.0/", + "v0.11.0/", + "v0.12.0/", + "v0.13.0/", + ], "display_github": True, "github_user": "apache", "github_repo": "tvm",