From d7dbbd0477da9b47746f07f50678296432447ddb Mon Sep 17 00:00:00 2001
From: David Holdeman <david@chuckwagoncomputing.com>
Date: Tue, 4 Apr 2023 18:33:02 -0500
Subject: [PATCH] check for deleted files (#481)

---
 wiki-tools/lint.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/wiki-tools/lint.sh b/wiki-tools/lint.sh
index d0641094..da5ef310 100644
--- a/wiki-tools/lint.sh
+++ b/wiki-tools/lint.sh
@@ -8,7 +8,7 @@ if [ "$?" -gt 0 ]; then
   STATUS=1
 fi
 
-if git diff --compact-summary HEAD~1 HEAD | grep -E "=>|\(new\)" >/dev/null; then
+if git diff --compact-summary HEAD~1 HEAD | grep -E "=>|\(new\)|\(gone\)" >/dev/null; then
   bash wiki-tools/brokenlinks.sh -s
   if [ "$?" -gt 0 ]; then
     STATUS=1