From 64e5f25363d63d1a1375c959b777ecd380c514d1 Mon Sep 17 00:00:00 2001
From: Andreas Kern <andreas.kern1@cariad.technology>
Date: Tue, 27 Feb 2024 15:50:27 +0100
Subject: [PATCH] .

---
 .github/workflows/filename-check.yml | 11 +++++------
 1 file changed, 5 insertions(+), 6 deletions(-)

diff --git a/.github/workflows/filename-check.yml b/.github/workflows/filename-check.yml
index e8d625d8..251da559 100644
--- a/.github/workflows/filename-check.yml
+++ b/.github/workflows/filename-check.yml
@@ -14,9 +14,8 @@ jobs:
     - name: Check for capital letters in filenames in 'doc/manual'
       run: |
         echo "Hello"
-        files_with_caps=$(find doc/manual -type f | grep '[A-Z]')
-        if [ ! -z "$files_with_caps" ]; then
-          echo "Files with capital letters:"
-          echo "$files_with_caps"
-        fi
-        echo "Hello"
+#        files_with_caps=$(find doc/manual -type f | grep '[A-Z]')
+#        if [ ! -z "$files_with_caps" ]; then
+#          echo "Files with capital letters:"
+#          echo "$files_with_caps"
+#        fi