--- scripts/pgallery/src/pgallery.sh 2012/08/31 15:52:10 1.20 +++ scripts/pgallery/src/pgallery.sh 2012/09/11 15:40:43 1.22 @@ -5,7 +5,7 @@ # can do whatever you want with this stuff. If we meet some day, and you think # this stuff is worth it, you can buy me a beer in return Aron Schlesinger # -# $Paefchen: scripts/pgallery/src/pgallery.sh,v 1.19 2012/08/31 14:26:58 as Exp $ +# $Paefchen: scripts/pgallery/src/pgallery.sh,v 1.21 2012/08/31 15:58:03 as Exp $ # . $(dirname $0)/libpgallery @@ -88,8 +88,6 @@ do test $arg = -d && is_dir=1 done -echo $ARG_DIR - # load save args if [ -f "$ARG_DIR/$ARGFILE" ] then @@ -313,7 +311,7 @@ MAKE done echo "tns: $targets" >> $MKAKEFILE -#make -f $MKAKEFILE +make -f $MKAKEFILE rm $MKAKEFILE # create html index