doc workflow for dev branch

Author: TheEimer

.github/workflows/docs.yml

@@ -44,13 +44,13 @@ jobs:
         make doc
 
     - name: Pull latest gh-pages
-      if: contains(github.ref, 'main') && github.event_name == 'push'
+      if: github.event_name == 'push'
       run: |
         cd ..
         git clone https://github.com/${{ github.repository }}.git --branch gh-pages --single-branch gh-pages
 
     - name: Copy new docs into gh-pages
-      if: contains(github.ref, 'main') && github.event_name == 'push'
+      if: github.event_name == 'push'
       run: |
         branch_name=${GITHUB_REF##*/}
         cd ../gh-pages
@@ -59,7 +59,7 @@ jobs:
 
 
     - name: Push to gh-pages
-      if: contains(github.ref, 'main') && github.event_name == 'push'
+      if: github.event_name == 'push'
       run: |
         last_commit=$(git log --pretty=format:"%an: %s")
         cd ../gh-pages