From a492aec82dd11887125c6086d3e1582cb472022e Mon Sep 17 00:00:00 2001 From: Sylvain Gugger Date: Mon, 26 Jul 2021 10:27:14 -0400 Subject: [PATCH] Update doc --- .circleci/deploy.sh | 3 ++- docs/source/_static/js/custom.js | 4 ++-- 2 files changed, 4 insertions(+), 3 deletions(-) diff --git a/.circleci/deploy.sh b/.circleci/deploy.sh index a5c87e0f55..72eaf0dbc4 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 b27d1f4262..bf00100c82 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",