diff --git a/.github/deploy_doc.sh b/.github/deploy_doc.sh index 57e34d02..aa4804c7 100755 --- a/.github/deploy_doc.sh +++ b/.github/deploy_doc.sh @@ -47,4 +47,6 @@ deploy_doc "$GITHUB_SHA" latest node # Python versions deploy_doc "$GITHUB_SHA" v0.9.0 python override +deploy_doc "$GITHUB_SHA" v0.9.1 python override +deploy_doc "$GITHUB_SHA" v0.9.2 python override deploy_doc "$GITHUB_SHA" latest python diff --git a/docs/source/_static/js/custom.js b/docs/source/_static/js/custom.js index fa20bcaa..0663de42 100644 --- a/docs/source/_static/js/custom.js +++ b/docs/source/_static/js/custom.js @@ -4,7 +4,7 @@ const languages = [ "rust", "python", "node" ]; // Last stable version for each language const stableVersion = { "rust": "master", - "python": "v0.9.0", + "python": "v0.9.2", "node": "master" } // Dictionary doc folder to Label for each language @@ -14,7 +14,7 @@ const versionMapping = { }, "python": { "master": "master", - "v0.9.0": "v0.9.0" + "v0.9.2": "v0.9.2" }, "node": { "master": "master",