diff --git a/.circleci/deploy.sh b/.circleci/deploy.sh index a5c87e0f556..72eaf0dbc4c 100755 --- a/.circleci/deploy.sh +++ b/.circleci/deploy.sh @@ -68,4 +68,5 @@ deploy_doc "7a6c9fa" v4.7.0 deploy_doc "9252a51" v4.8.0 deploy_doc "1366172" v4.8.1 deploy_doc "96d1cfb" v4.8.2 -deploy_doc "72aee83" # v4.9.0 Latest stable release \ No newline at end of file +deploy_doc "72aee83" v4.9.0 +deploy_doc "bff1c71" # v4.9.1 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 b27d1f4262d..bf00100c825 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.9.0" +const stableVersion = "v4.9.1" // Dictionary doc folder to label. The last stable version should have an empty key. const versionMapping = { "master": "master", - "": "v4.9.0 (stable)", + "": "v4.9.0/v4.9.1 (stable)", "v4.8.2": "v4.8.0/v4.8.1/v4.8.2", "v4.7.0": "v4.7.0", "v4.6.0": "v4.6.0",