add additional arguments to diff-pdf (#24)

* -v: be verbose * -m: mark differences on the side * -s: skip empty pages
jemand771 · Aug 11, 2021 · dff10c4 · dff10c4
1 parent 02ef033
commit dff10c4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/compile.sh b/compile.sh
@@ -45,7 +45,7 @@ if [ "$DISABLE_SYNCTEX" = "" ]; then
   cp -u "$TARGET.synctex" "$BIND_PATH/$TARGET.synctex"
 fi
 if [ -f "$TARGET-old.pdf" ]; then
-  xvfb-run diff-pdf --output-diff="$TARGET-diff.pdf" "$TARGET-old.pdf" "$TARGET.pdf"
+  xvfb-run diff-pdf -v -m -s --output-diff="$TARGET-diff.pdf" "$TARGET-old.pdf" "$TARGET.pdf"
   rm "$TARGET-old.pdf"
   cp -u "$TARGET-diff.pdf" "$BIND_PATH/$TARGET-diff.pdf"
 fi