And publish from master too

Author: rbtcollins

.github/workflows/publish-docs.yml

@@ -29,7 +29,7 @@ jobs:
 
       - name: Deploy Book
         uses: JamesIves/github-pages-deploy-action@v4
-        if: ${{ github.event_name == 'push' && startsWith('refs/heads/main', github.ref) }}
+        if: ${{ github.event_name == 'push' && (startsWith('refs/heads/main', github.ref) || startsWith('refs/heads/master', github.ref)) }}
         with:
           branch: gh-pages
           folder: doc/book/