From 9995a341c9d68a9963d86c506d17330b3ad813f9 Mon Sep 17 00:00:00 2001 From: LysandreJik Date: Mon, 30 Nov 2020 12:01:45 -0500 Subject: [PATCH] Update docs --- .circleci/deploy.sh | 3 ++- docs/source/_static/js/custom.js | 7 ++++--- 2 files changed, 6 insertions(+), 4 deletions(-) diff --git a/.circleci/deploy.sh b/.circleci/deploy.sh index fc17e1b17e..c5f66205d6 100755 --- a/.circleci/deploy.sh +++ b/.circleci/deploy.sh @@ -52,4 +52,5 @@ deploy_doc "4b3ee9c" v3.1.0 deploy_doc "3ebb1b3" v3.2.0 deploy_doc "0613f05" v3.3.1 deploy_doc "eb0e0ce" v3.4.0 -deploy_doc "818878d" # v3.5.1 Latest stable release +deploy_doc "818878d" v3.5.1 +deploy_doc "c781171" # v4.0.0 Latest stable release diff --git a/docs/source/_static/js/custom.js b/docs/source/_static/js/custom.js index 867787d3e9..02b257879d 100644 --- a/docs/source/_static/js/custom.js +++ b/docs/source/_static/js/custom.js @@ -1,14 +1,15 @@ // These two things need to be updated at each release for the version selector. // Last stable version -const stableVersion = "v3.5.0" +const stableVersion = "v4.0.0" // Dictionary doc folder to label const versionMapping = { "master": "master", - "": "v3.5.0/v3.5.1", + "v4.0.0": "v4.0.0", + "v3.5.1": "v3.5.0/v3.5.1", "v3.4.0": "v3.4.0", "v3.3.1": "v3.3.0/v3.3.1", "v3.2.0": "v3.2.0", - "v3.1.0": "v3.1.0 (stable)", + "v3.1.0": "v3.1.0", "v3.0.2": "v3.0.0/v3.0.1/v3.0.2", "v2.11.0": "v2.11.0", "v2.10.0": "v2.10.0",