From: Gereon Kremer <gkremer@stanford.edu>
Date: Sat, 29 Jan 2022 01:41:44 +0000 (-0800)
Subject: Rename docs-releases to docs (#7999)
X-Git-Tag: cvc5-1.0.0~492
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=aace803379e5db2655a26a2ef7d7679dad6f8820;p=cvc5.git

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 38a6432a5..05d746491 100644
--- 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