Version fix

Author: felixgalindo

.github/workflows/doxygen.yml

@@ -1,42 +1,75 @@
-name: Doxygen Pages
+# .github/workflows/doxygen.yml
+name: Doxygen Docs
 
+# ───────────────────────────────
+# ➊ Run on every push (any branch / tag) and on every PR
+# ───────────────────────────────
 on:
-  push:            # run on every push (all branches)
-    branches: ["**"]
-  pull_request:    # optional – still produces the artifact
+  push:
+    branches: ["**"]            # “**”  means *all* branches & tags
+  pull_request:                 # keeps lint / warnings visible in PRs
 
+# ───────────────────────────────
+# ➋ The workflow needs to push to gh-pages
+#    so we grant the default token “contents: write”
+# ───────────────────────────────
 permissions:
-  contents: read
-  pages: write     # allow the deploy-pages action to publish
-  id-token: write  # required by deploy-pages
+  contents: write               # required by peaceiris/actions-gh-pages
 
 jobs:
   docs:
     runs-on: ubuntu-latest
 
     steps:
-      - uses: actions/checkout@v4
+    # ───────────────────────────
+    # Check out the current commit
+    # ───────────────────────────
+    - name: Checkout source
+      uses: actions/checkout@v4
 
-      - name: Install Doxygen + Graphviz
-        run: sudo apt-get update && sudo apt-get install -y doxygen graphviz
+    # ───────────────────────────
+    # Install Doxygen + Graphviz
+    # ───────────────────────────
+    - name: Install Doxygen & Graphviz
+      run: |
+        sudo apt-get update -y
+        sudo apt-get install -y doxygen graphviz
 
-      - name: Generate docs
-        run: doxygen Doxyfile            # OUTPUT_DIRECTORY = docs
+    # ───────────────────────────
+    # Build the manual – assumes your “Doxyfile” puts
+    # everything inside   docs/html/
+    # ───────────────────────────
+    - name: Generate documentation
+      run: doxygen Doxyfile
 
-      # 1️⃣  Upload the generated site as a Pages artifact
-      - name: Upload Pages artifact
-        uses: actions/upload-pages-artifact@v2
-        with:
-          path: docs/html                # <— exact folder with index.html
+    # ───────────────────────────
+    # Turn the branch / tag name into something
+    # safe for file-systems (slash → underscore)
+    # ───────────────────────────
+    - name: Compute safe name
+      id: ref
+      run: echo "SAFE_NAME=${GITHUB_REF_NAME//\//_}" >> "$GITHUB_OUTPUT"
 
-  # 2️⃣  Deploy the artifact to GitHub Pages
-  deploy:
-    needs: docs
-    runs-on: ubuntu-latest
-    environment:
-      name: github-pages
-      url: ${{ steps.deployment.outputs.page_url }}
-    steps:
-      - name: Deploy to GitHub Pages
-        id: deployment
-        uses: actions/deploy-pages@v2
+    # ───────────────────────────
+    # Upload the HTML as a workflow artefact
+    # (handy for PRs – click “Artifacts”)
+    # ───────────────────────────
+    - name: Upload artifact
+      uses: actions/upload-artifact@v4
+      with:
+        name: docs-${{ steps.ref.outputs.SAFE_NAME }}
+        path: docs/html
+        retention-days: 14        # keep for two weeks (optional)
+
+    # ───────────────────────────
+    # Deploy **only on pushes** (not on PR builds)
+    # to   gh-pages/<branch-or-tag-name>/
+    # ───────────────────────────
+    - name: Deploy to GitHub Pages
+      if: github.event_name == 'push'
+      uses: peaceiris/actions-gh-pages@v4
+      with:
+        github_token: ${{ secrets.GITHUB_TOKEN }}
+        publish_branch: gh-pages
+        publish_dir: docs/html
+        destination_dir: ${{ steps.ref.outputs.SAFE_NAME }}