From 3be965c5dbee794a7a3606df6a1ae36a0d65904d Mon Sep 17 00:00:00 2001 From: Sylvain Gugger <35901082+sgugger@users.noreply.github.com> Date: Thu, 4 Feb 2021 16:52:27 -0500 Subject: [PATCH] Update doc for pre-release (#10014) * Update doc for pre-release * Use stable as default * Use the right commit :facepalms: --- .circleci/deploy.sh | 3 ++- docs/source/_static/js/custom.js | 3 ++- 2 files changed, 4 insertions(+), 2 deletions(-) diff --git a/.circleci/deploy.sh b/.circleci/deploy.sh index 067f85444d..e5e86a385b 100755 --- a/.circleci/deploy.sh +++ b/.circleci/deploy.sh @@ -55,4 +55,5 @@ deploy_doc "eb0e0ce" v3.4.0 deploy_doc "818878d" v3.5.1 deploy_doc "c781171" v4.0.0 deploy_doc "bfa4ccf" v4.1.1 -deploy_doc "7d9a9d0" # v4.2.0 Latest stable release +deploy_doc "7d9a9d0" # v4.2.1 Latest stable release +deploy_doc "4cd22r1" v4.3.0 # Pre-release \ No newline at end of file diff --git a/docs/source/_static/js/custom.js b/docs/source/_static/js/custom.js index f47035b455..0e9b0a2b70 100644 --- a/docs/source/_static/js/custom.js +++ b/docs/source/_static/js/custom.js @@ -1,9 +1,10 @@ // These two things need to be updated at each release for the version selector. // Last stable version -const stableVersion = "v4.2.0" +const stableVersion = "v4.2.1" // Dictionary doc folder to label. The last stable version should have an empty key. const versionMapping = { "master": "master", + "v4.3.0": "v4.3.0 (pre)", "": "v4.2.0/v4.2.1 (stable)", "v4.1.1": "v4.1.0/v4.1.1", "v4.0.1": "v4.0.0/v4.0.1",