From 7c696abefefef43291e48636692326be54a80b21 Mon Sep 17 00:00:00 2001 From: Pierre Pronchery Date: Thu, 17 May 2012 02:48:38 +0000 Subject: [PATCH] Delete the target file when it failed to generate --- doc/docbook.sh | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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