Only deploy docs when "docs/" folder changed (#1353)

.github/workflows/docs_cd.yml

@@ -17,6 +17,20 @@ on:
   push:
     branches:
       - main
+    paths:
+      # We only build and deploy a new version, when a user relevant files
+      # changed.
+      - "docs/**"
+      # We trigger also this workflow, if this workflow is changed, so that new
+      # changes will be applied.
+      - ".github/workflows/docs_cd.yml"
+      # The following paths are excluded from the above paths. It's important to
+      # list the paths at the end of the file, so that the exclude paths are
+      # applied.
+      #
+      # See https://docs.github.com/en/actions/using-workflows/workflow-syntax-for-github-actions#example-including-and-excluding-paths.
+      - "!website/README.md"
+      - "!**/*.gitignore"
 
 # Set permissions to none.
 #