.

Signed-off-by: Andreas Kern <[email protected]>

.github/workflows/filename-check.yml

@@ -14,9 +14,10 @@ jobs:
     - name: Check for capital letters in filenames in 'doc/manual'
       run: |
         echo "Hello"
-        files_with_caps=$(find doc/manual -type f)
+        all_files=$(find doc/manual -type f)
+        echo $all_files
+        files_with_caps=$(find doc/manual -type f | grep -E '[A-Z]')
         echo $files_with_caps
-#        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"