Modify docs generation workflow

.github/workflows/generate_docs.yml

@@ -4,7 +4,11 @@ name: Documentation generation CI
 
 on:
   push:
-    branches: [ master ]
+    paths:
+      - '.github/workflows/generate_docs.yml'
+      - 'docs/**'
+    branches:
+      - master
 
 jobs:
   build:
@@ -13,7 +17,10 @@ jobs:
 
     steps:
       # checkout branch
-      - uses: actions/checkout@v3
+      - name: Checkout repository
+        uses: actions/checkout@v4
+        with:
+          sparce-checkout: docs
 
       # Install dblatex
       - name: Install dependencies
@@ -57,17 +64,11 @@ jobs:
         uses: actions/download-artifact@v2
         with:
           name: doc-files
-          path: docs
+          path: .
 
       # add, commit and push to gh-pages
       - name: Commit changes
-        uses: EndBug/add-and-commit@v7
+        uses: EndBug/add-and-commit@v9
         with:
           message: 'Update docs'
           branch: gh-pages
-          add: '["docs/index.md", 
-            "docs/mobilitydb-workshop.pdf", 
-            "docs/mobilitydb-workshop.epub",
-            "docs/html/docbook.css", "docs/html/images/*",
-            "docs/html/*.html"]'
-