Skip to content

Commit

Permalink
Update build-website.sh
Browse files Browse the repository at this point in the history
  • Loading branch information
Varun-Dutta authored Aug 3, 2024
1 parent 783c2cd commit d5f9beb
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion tools/scripts/build-website.sh
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

0 comments on commit d5f9beb

Please sign in to comment.