echo "${PDF_FILE}.annot";
(cd "$TMPDIR";
diff -Nura a b ) | qprint --encode --binary > "${PDF_FILE}.annot"
+ # delete the annot file if it has size 0
+ if ! [ -s "${PDF_FILE}.annot" ]; then
+ rm -f "${PDF_FILE}.annot"
+ fi;
rm -f "$TMPDIR/a/file.pdf"
rm -f "$TMPDIR/b/file.pdf"
rmdir "$TMPDIR/a" "$TMPDIR/b" "$TMPDIR"