From cc74315062c7b56f1af5a95b21854300dfbd3d42 Mon Sep 17 00:00:00 2001 From: Pierre Pronchery Date: Tue, 10 Jul 2012 22:49:59 +0000 Subject: [PATCH] Only install (and uninstall) regular files --- doc/gtkdoc.sh | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/doc/gtkdoc.sh b/doc/gtkdoc.sh index b45cd75..5ad2e83 100755 --- a/doc/gtkdoc.sh +++ b/doc/gtkdoc.sh @@ -34,7 +34,7 @@ GTKDOC_MKHTML="gtkdoc-mkhtml" GTKDOC_MKTMPL="gtkdoc-mktmpl" GTKDOC_SCAN="gtkdoc-scan" INSTALL="install -m 0644" -MKDIR="mkdir -p" +MKDIR="mkdir -m 0755 -p" MODULE="$PACKAGE" RM="rm -f" TOUCH="touch" @@ -95,6 +95,7 @@ while [ $# -gt 0 ]; do #uninstall if [ "$uninstall" -eq 1 ]; then for i in gtkdoc/html/*.*; do + [ -f "$i" ] || continue file="${i##*/}" $DEBUG $RM "$instdir/$MODULE/$file" || exit 2 done @@ -151,6 +152,7 @@ while [ $# -gt 0 ]; do if [ "$install" -eq 1 ]; then $DEBUG $MKDIR "$instdir/$MODULE" || exit 2 for i in gtkdoc/html/*.*; do + [ -f "$i" ] || continue file="${i##*/}" $DEBUG $INSTALL "$i" "$instdir/$MODULE/$file" \ || exit 2