diff --git a/.circleci/deploy.sh b/.circleci/deploy.sh index 1e3187ddc0..93c2e37a3b 100755 --- a/.circleci/deploy.sh +++ b/.circleci/deploy.sh @@ -75,4 +75,5 @@ deploy_doc "39cb6f5" v4.10.0 deploy_doc "28e2787" v4.10.1 deploy_doc "dc193c9" v4.11.0 deploy_doc "54f9d62" v4.11.1 -deploy_doc "7655f11" # v4.11.2 Latest stable release \ No newline at end of file +deploy_doc "7655f11" v4.11.2 +deploy_doc "65659a2" # v4.11.3 Latest stable release \ No newline at end of file diff --git a/docs/source/_static/js/custom.js b/docs/source/_static/js/custom.js index 3eb7735bc1..a91154b3fb 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.11.2" +const stableVersion = "v4.11.3" // Dictionary doc folder to label. The last stable version should have an empty key. const versionMapping = { "master": "master", - "": "v4.11.0/v4.11.1/v4.11.2 (stable)", + "": "v4.11.0/v4.11.1/v4.11.2/v4.11.3 (stable)", "v4.10.1": "v4.10.0/v4.10.1", "v4.9.2": "v4.9.0/v4.9.1/v4.9.2", "v4.8.2": "v4.8.0/v4.8.1/v4.8.2",