Set the execute bit on generated script at build time, not install time.
Do not advertise "make install" when ./configure-d with "--local".
-------- diffstat follows --------
/trunk/configure | 8 5 3 0 +++++---
/trunk/Makefile.in | 10 3 7 0 +++-------
2 files changed, 8 insertions(+), 10 deletions(-)
2 # Needed for systems without gettext
3 $* -xc -o /dev/null - > /dev/null 2>&1 << EOF
11 if [ ! "$?" -eq "0" ]; then