ignore-file-size-gitlfs

Resolves #368 (closed)

doc.zih.tu-dresden.de/util/check-filesize.sh

@@ -40,7 +40,7 @@ for f in $(git diff $source_hash --name-only); do
     # This is a bit "Going around your elbow to get to your ear" by assuming that lfs files are
     # ending with webm or mp4
     if [[ "$f" =~ .*".webm" ]] || [[ "$f" =~ .*".mp4" ]] ; then
-        echo "Skip file in webm or mp4 format cause it is a git lfs file."
+        echo "Skip file ${f} in webm or mp4 format cause it is a git lfs file."
         continue
     fi
     fs=$(wc -c $f | awk '{print $1}')