--- scripts/pgallery/src/pgallery.sh 2012/08/31 15:58:03 1.21 +++ 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.20 2012/08/31 15:52:10 as Exp $ +# $Paefchen: scripts/pgallery/src/pgallery.sh,v 1.21 2012/08/31 15:58:03 as Exp $ # . $(dirname $0)/libpgallery @@ -311,7 +311,7 @@ MAKE done echo "tns: $targets" >> $MKAKEFILE -#make -f $MKAKEFILE +make -f $MKAKEFILE rm $MKAKEFILE # create html index