Update doc for v3.5.1

2020-11-13 10:29:58 -05:00
parent 0fa0349883
commit bb03a14edd
2 changed files with 2 additions and 2 deletions
--- a/.circleci/deploy.sh
+++ b/.circleci/deploy.sh
@@ -52,4 +52,4 @@ 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.0 Latest stable release
+deploy_doc "818878d" # v3.5.1 Latest stable release
--- a/docs/source/_static/js/custom.js
+++ b/docs/source/_static/js/custom.js
@@ -4,7 +4,7 @@ const stableVersion = "v3.5.0"
 // Dictionary doc folder to label
 const versionMapping = {
    "master": "master",
-    "": "v3.5.0",
+    "": "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",