blob: de4c7c9137f92c397775eba033479dd396843354 (
plain) (
blame)
1
2
3
4
5
6
7
8
|
#!/bin/sh
lines=$(expr 0 + $(diff "$1" "$2" | grep -E '^[<>]' | \
grep -E -v '/ID' | grep -E -v '%PDF-' | wc -l))
if [ "$lines" = "0" ]; then
echo okay
else
diff -a -U 0 "$1" "$2"
fi
|