From 10d0b03bcae90d0f1c7d4829105a927378ce5862 Mon Sep 17 00:00:00 2001
From: mahula <lenzmath@posteo.de>
Date: Wed, 8 Nov 2023 09:08:11 +0100
Subject: [PATCH] remove redundant summary check job from documentation check
 workflow

---
 .github/workflows/check-documentation.yml | 35 -----------------------
 1 file changed, 35 deletions(-)

diff --git a/.github/workflows/check-documentation.yml b/.github/workflows/check-documentation.yml
index 329d58236..065a5bc54 100644
--- a/.github/workflows/check-documentation.yml
+++ b/.github/workflows/check-documentation.yml
@@ -23,41 +23,6 @@ jobs:
           filters: .github/file-filters.yml
           list-files: shell
 
-  check-summary:
-    name: Check documentation summary
-    if: needs.files-changed.outputs.markdown-files == 'true'
-    needs: files-changed
-    runs-on: ubuntu-latest
-    steps:
-      - name: Checkout code
-        uses: actions/checkout@master
-
-      - name: Check, if all .md files listed in SUMMARY.md exist in current branch
-        run: |
-          if [ ! -f "SUMMARY.md" ]; then
-            echo "The file SUMMARY.md does not exist."
-            exit 1
-          fi
-
-          md_files=$(grep -o -P '\[[^\]]+\]\(([^)]+\.md)\)' SUMMARY.md | sed -r 's/.*\(([^)]+)\)/\1/')
-          missing_files=()
-
-          for file in $md_files; do
-            if [ ! -f "$file" ]; then
-              missing_files+=("$file")
-            fi
-          done
-
-          if [ ${#missing_files[@]} -eq 0 ]; then
-            echo "All .md files listed in SUMMARY.dm exist."
-          else
-            echo "These files listed in SUMMARY.dm do not exist:"
-            for missing_file in "${missing_files[@]}"; do
-              echo "$missing_file"
-            done
-            exit 1
-          fi
-
   check-markdown-links:
     name: Check Markdown links
     if: needs.files-changed.outputs.markdown-files == 'true'