diff --git a/tools/scripts/build-website.sh b/tools/scripts/build-website.sh index 09f8e83fba9..b50fcaf148b 100755 --- a/tools/scripts/build-website.sh +++ b/tools/scripts/build-website.sh @@ -21,7 +21,7 @@ mike deploy "$VERSION_NUMBER" -F docs/mkdocs.yml -b gh-pages git checkout gh-pages echo "Attempting to update versions.json" -aws s3 cp s3://updated-documentation-website/website/versions.json . +# aws s3 cp s3://updated-documentation-website/website/versions.json . VERSION_NUMBER=no-notebooks DUPLICATE=$(jq --arg v "$VERSION_NUMBER" 'any(.version == $v)' versions.json) if [ "$DUPLICATE" = "true" ]; then