diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 806bef0dc..3d7657b84 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -1,10 +1,12 @@
 name: Documentation
 
 on:
-  # Only PRs targeting master (base branch = master) and pushes to master.
+  # PRs into either long-lived branch, and pushes to master. `branches` filters
+  # on the PR's base, and almost every PR is opened against develop, so master
+  # alone meant the build first saw a docs change in the release batch.
   pull_request:
     types: [opened, synchronize, reopened, ready_for_review]
-    branches: [master]
+    branches: [master, develop]
     paths:
       - "docs/**"
       - "rocketpy/**" # docstrings feed the autodoc API reference