From b84617b1bafa89d4c6b6129770dc9608b3caf8c0 Mon Sep 17 00:00:00 2001
From: Sig00rd <sz.fugas@gmail.com>
Date: Thu, 19 Aug 2021 17:46:12 +0200
Subject: [PATCH] Fix docs autogen workflow case where markdown files were
 deleted (#637)

---
 .github/workflows/auto-gen-docs.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/auto-gen-docs.yaml b/.github/workflows/auto-gen-docs.yaml
index 489421ea..e56ec635 100644
--- a/.github/workflows/auto-gen-docs.yaml
+++ b/.github/workflows/auto-gen-docs.yaml
@@ -58,7 +58,7 @@ jobs:
       - name: Update last modified date in modified docs
         if: env.IS_CHANGED == 'true'
         run: |
-          git diff --name-only ${{ github.event.before }} ${{ github.sha }} | grep -E "^website*" \
+          git diff --name-only --diff-filter=d ${{ github.event.before }} ${{ github.sha }} | grep -E "^website*" \
           | sed -e 's/\(.*\)/"\1"/' | xargs sed -i "/date:/c\date: $(date +'%Y-%m-%d')"
 
       # Runs makefile goal - checks changes to /website folder and generates docs