diff --git a/doc/docbook.sh b/doc/docbook.sh index 271e07a..8466669 100755 --- a/doc/docbook.sh +++ b/doc/docbook.sh @@ -116,7 +116,8 @@ while [ $# -gt 0 ]; do #XXX ignore errors if [ $? -ne 0 ]; then echo "$0: $target: Could not create page" 1>&2 - install=0 + $RM -- "$target" + break fi #install