update release script

This commit is contained in:
Charlie Drage 2023-02-08 16:13:41 -05:00
parent 13919e2050
commit 6a31ce3272

View File

@ -20,7 +20,7 @@ cd "$DOCS_REPO_NAME"
# switch to gh-pages and grab the docs folder from main # switch to gh-pages and grab the docs folder from main
git checkout gh-pages git checkout gh-pages
git checkout main docs git checkout main -- docs
# Copy it all over to the current directory # Copy it all over to the current directory
cp -r docs/* . cp -r docs/* .