ci: documentation workflow is now only triggered when the Documentati…

…on subdirectory has modifications

.github/workflows/doc.yml

@@ -12,9 +12,17 @@
 #
 ---
 name: "Build Documentation"
+
 on:
-  pull_request:
   push:
+    branches:
+      - master
+    paths:
+      - 'Documentation/**'
+
+  pull_request:
+    paths:
+      - 'Documentation/**'
 
 concurrency:
   group: docs-${{ github.event.pull_request.number || github.ref }}