diff options
Diffstat (limited to 'makediffpdf.sh')
| -rwxr-xr-x | makediffpdf.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/makediffpdf.sh b/makediffpdf.sh index c7864df..b3031c4 100755 --- a/makediffpdf.sh +++ b/makediffpdf.sh @@ -1,5 +1,5 @@ #make pdf diff using latexpand and latexdiff-fast -./makediff.sh virtio.tex +./makediff.sh virtio.tex || exit 3 SPECDOC=${SPECDOC:-`cat REVISION`} SPECDOC="${SPECDOC}-diff" rm $SPECDOC.aux $SPECDOC.pdf $SPECDOC.out |