From bb9b59c6e1cae79fcca6d62fb17b8b7ab6ceaa5e Mon Sep 17 00:00:00 2001
From: Martin Schroschk <martin.schroschk@tu-dresden.de>
Date: Wed, 25 Aug 2021 11:55:47 +0200
Subject: [PATCH] Test revert

---
 .../util/check-spelling-changes.sh                 | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

diff --git a/doc.zih.tu-dresden.de/util/check-spelling-changes.sh b/doc.zih.tu-dresden.de/util/check-spelling-changes.sh
index 13417d772..6677c6238 100755
--- a/doc.zih.tu-dresden.de/util/check-spelling-changes.sh
+++ b/doc.zih.tu-dresden.de/util/check-spelling-changes.sh
@@ -21,8 +21,8 @@ any_fails=false
 source_hash=`git merge-base HEAD "$branch"`
 #Remove everything except lines beginning with --- or +++
 files=`git diff $source_hash | sed -n 's/^[-+]\{3,3\} //p'`
-echo "$files"
-echo "-------------------------"
+#echo "$files"
+#echo "-------------------------"
 #Assume that we have pairs of lines (starting with --- and +++).
 while read oldfile; do
     read newfile
@@ -40,11 +40,11 @@ while read oldfile; do
             #Remove the prefix "b/"
             newfile=${newfile:2}
             current_count=`cat "$newfile" | getNumberOfAspellOutputLines`
-            echo "======"
-            echo "$current_count"
-            echo "$newfile"
-            cat - | aspell -p "$wordlistfile" --ignore 2 -l en_US list --mode=markdown
-            echo "======"
+#            echo "======"
+#            echo "$current_count"
+#            echo "$newfile"
+#            cat - | aspell -p "$wordlistfile" --ignore 2 -l en_US list --mode=markdown
+#            echo "======"
         fi
         if [ $current_count -gt $previous_count ]; then
             echo "-- File $newfile"
-- 
GitLab