diff --git a/.circleci/deploy.sh b/.circleci/deploy.sh index a06857e8855..9947b819be1 100755 --- a/.circleci/deploy.sh +++ b/.circleci/deploy.sh @@ -79,4 +79,5 @@ deploy_doc "7655f11" v4.11.2 deploy_doc "65659a2" v4.11.3 deploy_doc "62bf536" v4.12.0 deploy_doc "e0a5154" v4.12.1 -deploy_doc "2191373" # v4.12.2 Latest stable release \ No newline at end of file +deploy_doc "2191373" v4.12.2 +deploy_doc "527c763" # v4.12.4 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 0ce501d1e09..58e32746f67 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.12.2" +const stableVersion = "v4.12.4" // Dictionary doc folder to label. The last stable version should have an empty key. const versionMapping = { "master": "master", - "": "v4.12.0/v4.12.1/v4.12.2 (stable)", + "": "v4.12.0/v4.12.1/v4.12.2/v4.12.4 (stable)", "v4.11.3": "v4.11.0/v4.11.1/v4.11.2/v4.11.3", "v4.10.1": "v4.10.0/v4.10.1", "v4.9.2": "v4.9.0/v4.9.1/v4.9.2",