From 33a8497db85afee2fe30e6bbbdc7a93cd80614df Mon Sep 17 00:00:00 2001 From: Lysandre Date: Wed, 13 Jan 2021 16:15:40 +0100 Subject: [PATCH] v4.2.0 documentation --- .circleci/deploy.sh | 3 ++- docs/source/_static/js/custom.js | 5 +++-- 2 files changed, 5 insertions(+), 3 deletions(-) diff --git a/.circleci/deploy.sh b/.circleci/deploy.sh index 2653eb2610..067f85444d 100755 --- a/.circleci/deploy.sh +++ b/.circleci/deploy.sh @@ -54,4 +54,5 @@ deploy_doc "0613f05" v3.3.1 deploy_doc "eb0e0ce" v3.4.0 deploy_doc "818878d" v3.5.1 deploy_doc "c781171" v4.0.0 -deploy_doc "bfa4ccf" # v4.1.1 Latest stable release +deploy_doc "bfa4ccf" v4.1.1 +deploy_doc "7d9a9d0" # v4.2.0 Latest stable release diff --git a/docs/source/_static/js/custom.js b/docs/source/_static/js/custom.js index 17dfca7ed8..591c290475 100644 --- a/docs/source/_static/js/custom.js +++ b/docs/source/_static/js/custom.js @@ -1,10 +1,11 @@ // These two things need to be updated at each release for the version selector. // Last stable version -const stableVersion = "v4.1.1" +const stableVersion = "v4.2.0" // Dictionary doc folder to label. The last stable version should have an empty key. const versionMapping = { "master": "master", - "": "v4.1.1 (stable)", + "": "v4.2.0 (stable)", + "v4.1.1": "v4.1.0/v4.1.1", "v4.0.1": "v4.0.0/v4.0.1", "v3.5.1": "v3.5.0/v3.5.1", "v3.4.0": "v3.4.0",