remove empty annotation files

diff --git a/evince_annot b/evince_annot
index 1a9c1e329ac63904433fb96bd787a88694694631..079cdc2048129ba096b34d59a90e2a9b4bb1fa8c 100755 (executable)
--- a/evince_annot
+++ b/evince_annot
@@ -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"