docs: fix v5.1.0 docs build (#2052)

cosmos · Jul 17, 2024 · eb08a4e · eb08a4e
1 parent 269704f
commit eb08a4e
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 12 deletions.
diff --git a/docs/docusaurus.config.js b/docs/docusaurus.config.js
@@ -45,14 +45,6 @@ const config = {
               label: "main",
               banner: "unreleased",
             },
-            "v4.2.0-docs": {
-              path: "/v4.2.0/",
-              label: "v4.2.0",
-              banner: "none",
-            },
-            "v5.0.0": {
-              banner: "unreleased",
-            },
           },
           remarkPlugins: [remarkMath],
           rehypePlugins: [rehypeKatex],

diff --git a/docs/versions.json b/docs/versions.json
@@ -1,4 +1 @@
-[
-    "v4.2.0-docs",
-    "v5.0.0"
-]
+[]