From 372ca07520c6231052c66a964f987f0a92359cc6 Mon Sep 17 00:00:00 2001
From: "U. N. Owen" <15646950+MM2-0@users.noreply.github.com>
Date: Sun, 9 Oct 2022 22:49:39 +0200
Subject: [PATCH] Only redeploy docs when docs have actually changed

---
 .github/workflows/deploy-docs.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/deploy-docs.yml b/.github/workflows/deploy-docs.yml
index 618db73d..dadccf0c 100644
--- a/.github/workflows/deploy-docs.yml
+++ b/.github/workflows/deploy-docs.yml
@@ -6,6 +6,7 @@ on:
   # Runs on pushes targeting the default branch
   push:
     branches: ["main"]
+    paths: docs/**/*
 
   # Allows you to run this workflow manually from the Actions tab
   workflow_dispatch: