diff --git a/.github/workflows/sphinx.yml b/.github/workflows/sphinx.yml
index 53b1e767..875f3a2b 100644
--- a/.github/workflows/sphinx.yml
+++ b/.github/workflows/sphinx.yml
@@ -7,19 +7,35 @@ on:
   pull_request:
     paths:
       - ".github/workflows/sphinx.yml"
+      - "Makefile"
 
       - "docs/**"
+
+      # Thse files are also rendered as docs pages
       - "README.md"
       - "CHANGELOG.md"
+
+      # These files are used to generate some code snippets in the docs
+      - "tagging/manifests/apt_packages.py"
+      - "tagging/manifests/manifest_interface.py"
+      - "tagging/taggers/sha.py"
+      - "tagging/taggers/tagger_interface.py"
   push:
     branches:
       - main
     paths:
       - ".github/workflows/sphinx.yml"
+      - "Makefile"
 
       - "docs/**"
+
       - "README.md"
       - "CHANGELOG.md"
+
+      - "tagging/manifests/apt_packages.py"
+      - "tagging/manifests/manifest_interface.py"
+      - "tagging/taggers/sha.py"
+      - "tagging/taggers/tagger_interface.py"
   workflow_dispatch:
 
 jobs: