diff --git a/.circleci/deploy.sh b/.circleci/deploy.sh index 7b70945038..2653eb2610 100755 --- a/.circleci/deploy.sh +++ b/.circleci/deploy.sh @@ -54,4 +54,4 @@ 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 "f5438ab" # v4.1.0 Latest stable release +deploy_doc "bfa4ccf" # v4.1.1 Latest stable release diff --git a/docs/source/_static/js/custom.js b/docs/source/_static/js/custom.js index 6c82d26516..17dfca7ed8 100644 --- a/docs/source/_static/js/custom.js +++ b/docs/source/_static/js/custom.js @@ -1,10 +1,10 @@ // These two things need to be updated at each release for the version selector. // Last stable version -const stableVersion = "v4.1.0" +const stableVersion = "v4.1.1" // Dictionary doc folder to label. The last stable version should have an empty key. const versionMapping = { "master": "master", - "": "v4.1.0 (stable)", + "": "v4.1.1 (stable)", "v4.0.1": "v4.0.0/v4.0.1", "v3.5.1": "v3.5.0/v3.5.1", "v3.4.0": "v3.4.0",