MAINT: Update GH actions

Sync with changes in other repos

Author: bashtage

.github/workflows/generate-documentation.yml

@@ -1,6 +1,8 @@
 name: Generate Documentation
 
 on:
+  release:
+    types: [published]
   push:
     branches:
       - main
@@ -42,4 +44,6 @@ jobs:
         make html
         popd
     - name: Deploy documentation
+      env:
+        GIT_TAG: ${{ github.event.release.tag_name }}
       run: source ci/github-actions/push-docs-gh-pages.sh

ci/github-actions/push-docs-gh-pages.sh

@@ -1,5 +1,6 @@
 #!/usr/bin/env bash
 
+export GIT_REPO_DIR=${PWD}
 echo "Set git email and name"
 git config user.email "[email protected]"
 git config user.name "Kevin Sheppard"
@@ -11,22 +12,24 @@ rm -rf devel
 echo "Make a new devel"
 mkdir devel
 echo "Checking for tag"
-GIT_TAG=$(git name-rev --name-only --tags HEAD)
-if [[ ${GIT_TAG} == "undefined" ]]; then
-  echo "Tag is ${GIT_TAG}. Not updating main documents"
-else
+if [[ -n "${GIT_TAG}" ]]; then
   echo "Tag ${GIT_TAG} is defined"
   echo "Copy docs to root"
   echo cp -r ${PWD}/doc/build/html/* ${PWD}/
   cp -r ${PWD}/doc/build/html/* ${PWD}
-  git add Documentation/\*.html
-  git add Documentation/\*.css
-  git add Documentation/\*.js
+else
+  echo "Tag is ${GIT_TAG}. Not updating main documents"
 fi
 echo "Copy docs to devel"
 echo cp -r ${PWD}/doc/build/html/* ${PWD}/devel/
 cp -r ${PWD}/doc/build/html/* ${PWD}/devel/
-echo "Add devel"
+echo "Clean up docs"
+cd ${GIT_REPO_DIR}/doc
+make clean && git clean -xfd
+echo "Add files"
+cd ${GIT_REPO_DIR}
+git add .
+# Ensure key files are added
 git add devel/**/* || true
 git add **/*.html || true
 git add **/*.ipynb || true