From f5fc4cb91add74f18865e4580511b4bc3053c6b8 Mon Sep 17 00:00:00 2001 From: Pierre Pronchery Date: Thu, 17 May 2012 02:49:16 +0000 Subject: [PATCH] Merged fixes from the configure project --- doc/scripts/docbook.sh | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/doc/scripts/docbook.sh b/doc/scripts/docbook.sh index 6427dfd..8466669 100755 --- a/doc/scripts/docbook.sh +++ b/doc/scripts/docbook.sh @@ -107,7 +107,7 @@ while [ $# -gt 0 ]; do #uninstall if [ "$uninstall" -eq 1 ]; then - $DEBUG $RM "$instdir/$target" || exit 2 + $DEBUG $RM -- "$instdir/$target" || exit 2 continue fi @@ -116,12 +116,13 @@ 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 if [ "$install" -eq 1 ]; then - $DEBUG $MKDIR "$instdir" || exit 2 - $DEBUG $INSTALL "$target" "$instdir/$target" || exit 2 + $DEBUG $MKDIR -- "$instdir" || exit 2 + $DEBUG $INSTALL -- "$target" "$instdir/$target" || exit 2 fi done