]> git.donarmstrong.com Git - bin.git/blobdiff - evince_annot
remove empty annotation files
[bin.git] / evince_annot
index 1a9c1e329ac63904433fb96bd787a88694694631..079cdc2048129ba096b34d59a90e2a9b4bb1fa8c 100755 (executable)
@@ -26,6 +26,9 @@ fi;
 
 (cd "$TMPDIR";
  diff -Nura a b ) | qprint -e > "${1}.annot"
+if ! [ -s "${1}.annot" ]; then
+    rm -f "${1}.annot";
+fi;
 rm -f "$TMPDIR/a/file.pdf"
 rm -f "$TMPDIR/b/file.pdf"
 rmdir "$TMPDIR/a" "$TMPDIR/b" "$TMPDIR"