diff options
Diffstat (limited to 'makediffhtml.sh')
| -rwxr-xr-x | makediffhtml.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/makediffhtml.sh b/makediffhtml.sh index 15c4a30..f8f8783 100755 --- a/makediffhtml.sh +++ b/makediffhtml.sh @@ -1,6 +1,6 @@ #!/bin/sh -./makediff.sh virtio-html.tex +./makediff.sh virtio-html.tex || exit 3 SPECDOC=${SPECDOC:-`cat REVISION`} SPECDOC="${SPECDOC}-diff" |