From 630c57f46bc7fe4ec24facff03844ddb4a0c2886 Mon Sep 17 00:00:00 2001
From: Wuwei Lin <wuwei@apache.org>
Date: Tue, 8 Aug 2023 12:27:22 -0700
Subject: [PATCH] Add v0.13.0 docs to site

---
 docs/conf.py | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

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",