Delete the target file when it failed to generate

2012-05-17 02:48:38 +00:00 · 2012-05-17 02:48:38 +00:00 · 7c696abefe
commit 7c696abefe
parent 080c7accc3
1 changed files with 2 additions and 1 deletions
--- 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