diff --git a/doc.zih.tu-dresden.de/util/check-bash-syntax.sh b/doc.zih.tu-dresden.de/util/check-bash-syntax.sh
index 45f291fedc5d3a02a66a89cf0792b31c9433dbcd..36f007f9f5598322d461096992099e95b1911cd6 100644
--- a/doc.zih.tu-dresden.de/util/check-bash-syntax.sh
+++ b/doc.zih.tu-dresden.de/util/check-bash-syntax.sh
@@ -56,7 +56,6 @@ else
 fi
 
 
-echo "... $files ..."
 cnt=0
 for f in $files; do
   if ! bash -n $f; then