docs: fix broken docs deploy (v4.2.0) (#1903)

* docs: add v4.2.0; bump v5.0.0 * docs: add v4.2.0; bump v5.0.0 * sync * sync stuff * fix * try docs tag * add version alias
cosmos · May 17, 2024 · 5f864a5 · 5f864a5
1 parent a4ffa1a
commit 5f864a5
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 1 deletion.
diff --git a/docs/docusaurus.config.js b/docs/docusaurus.config.js
@@ -45,6 +45,14 @@ 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,4 @@
 [
-    "v4.2.0",
+    "v4.2.0-docs",
     "v5.0.0"
 ]