Rename docs-releases to docs (#7999)

This renames the repository URL where documentation for releases is stored. It now lives at https://cvc5.github.io/docs/

diff --git a/.github/workflows/docs_upload.yml b/.github/workflows/docs_upload.yml
index 38a6432a548257a6482b1ae2c6df76f2ad12b160..05d746491818d3bb45dacfce1efbab65f1dc6528 100644 (file)
--- a/.github/workflows/docs_upload.yml
+++ b/.github/workflows/docs_upload.yml
@@ -118,11 +118,12 @@ jobs:
             eval $(ssh-agent -s)
             ssh-add - <<< "${{ secrets.CVC5_DOCS_RELEASE_TOKEN }}"
 
-            git clone git@github.com:cvc5/docs-releases.git target-releases/
+            git clone git@github.com:cvc5/docs.git target-releases/
             cp -r docs-new target-releases/$NAME
             cd target-releases/
 
-            git add $NAME
+            python3 genversions.py
+            git add .
 
             git commit -m "Update docs for $NAME"
             git push