diff --git a/docs/docusaurus.config.js b/docs/docusaurus.config.js
index 53678250fc..c949763429 100644
--- 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
index 4d806f8d12..bba35efde5 100644
--- a/docs/versions.json
+++ b/docs/versions.json
@@ -1,4 +1,4 @@
 [
-    "v4.2.0",
+    "v4.2.0-docs",
     "v5.0.0"
 ]
\ No newline at end of file