[UPDATE] the flow to only run in specific conditions and if triggered by a tag, trigger itself with an empty commit on the main branch.

Author: HenraL

.github/workflows/document_generator.yaml

@@ -1,10 +1,12 @@
 name: doxygen_generator
 
 # version: 1.0.0
-#          1.0.1 # removed the need of secrets for the user e-mail and name.
-#          1.0.2 # change the tag to only trigger when a -doc is appended to it.
+#          1.0.1 # Removed the need of secrets for the user e-mail and name.
+#          1.0.2 # Change the tag to only trigger when a -doc is appended to it.
 #          1.0.3 # Update the way the tag is processed in the flow.
-#          1.0.4 # the page is now published from the main branch regardless of the branch having triggered the flow.
+#          1.0.4 # The page is now published from the main branch regardless of the branch having triggered the flow.
+#          1.0.5 # The flow will only run specific parts of itself depending on the trigger method
+#          1.0.6 # The flow will trigger the push method after the initial trigger if it had been triggered by a tag
 
 on:
   push:
@@ -274,7 +276,7 @@ jobs:
           path: ${{ env.TEMPORARY_FOLDER }}
           enableCrossOsArchive: true
 
-  publish_html:
+  publish_html: # The critical steps will only be run if the flow was triggered by a push on the main branch
     # environment variables that are for the github pages
     environment:
       name: github-pages
@@ -292,6 +294,7 @@ jobs:
 
       - name: Get generated documentation
         id: html-cache-restore
+        if: github.event_name == 'push' && startsWith(github.ref, 'refs/heads/')
         uses: actions/cache@v4
         with:
           key: ${{ env.CACHE_KEY_CLEANED }}
@@ -321,7 +324,7 @@ jobs:
         id: deployment
         uses: actions/deploy-pages@v4
 
-  export_other_formats_when_present:
+  export_other_formats_when_present: # The critical steps will only be run if the flow was triggered by a tag.
     runs-on: ubuntu-latest
     needs: clean_up_generation
     if: success()
@@ -518,6 +521,22 @@ jobs:
           make_latest: true
           token: ${{ secrets.GITHUB_TOKEN }}
 
+      - name: Trigger empty push to main
+        if: startsWith(github.ref, 'refs/tags/')
+        run: |
+          git config --global user.name "${GITHUB_ACTOR}"
+          git config --global user.email "${GITHUB_ACTOR}@users.noreply.github.com"
+
+          # Fetch and switch to main
+          git fetch origin main:main
+          git checkout main
+
+          # Create empty commit
+          git commit --allow-empty -m "Trigger HTML deployment from tag ${{ github.ref_name }}"
+
+          # Push back to main
+          git push origin main
+
   clean_created_cache:
     name: Clear the cache generated during the build time
     permissions: write-all