From c83c79a0fdb812d0300c2f0c6a8d0a9d13a20ea3 Mon Sep 17 00:00:00 2001 From: Pierre Pronchery Date: Tue, 10 Jul 2012 22:45:18 +0000 Subject: [PATCH] Really uninstall all the files installed --- doc/gtkdoc.sh | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/doc/gtkdoc.sh b/doc/gtkdoc.sh index 0902187..b45cd75 100755 --- a/doc/gtkdoc.sh +++ b/doc/gtkdoc.sh @@ -44,7 +44,7 @@ TOUCH="touch" #debug _debug() { - echo $@ + echo $@ 1>&2 $@ } @@ -96,8 +96,7 @@ while [ $# -gt 0 ]; do if [ "$uninstall" -eq 1 ]; then for i in gtkdoc/html/*.*; do file="${i##*/}" - echo $DEBUG $RM "$instdir/$MODULE/$file" \ - || exit 2 + $DEBUG $RM "$instdir/$MODULE/$file" || exit 2 done continue fi