The chmod are now done in config.status instead of configure

Makefile.in

@@ -847,17 +847,16 @@ headers:
 #########
 
 Makefile: Makefile.in config.status
-	./config.status --file $@
+	./config.status chmod --file $@
 
 src/config.sh: src/config.sh.in config.status
-	./config.status --file $@
-	chmod u+x $@
+	./config.status chmod --file $@
 
-src/config.ml: src/config.sh config.status
+src/config.ml: src/config.sh
 	LIBDIR=$(LIBDIR) src/config.sh
 
 doc/version.tex: doc/version.tex.in config.status
-	./config.status --file $@
+	./config.status chmod --file $@
 
 config.status: configure Version
 	./config.status --recheck

configure.in

@@ -344,9 +344,12 @@ dnl AC_SUBST(PDFVIEWER)
 # Finally create the Makefile from Makefile.in
 dnl AC_OUTPUT(Makefile)
 AC_CONFIG_FILES(Makefile src/config.sh doc/version.tex)
+AC_CONFIG_COMMANDS([chmod],
+chmod a-w Makefile src/config.sh doc/version.tex;
+chmod u+x src/config.sh)
+
 AC_OUTPUT
-chmod a-w Makefile src/config.sh doc/version.tex
-chmod a+x src/config.sh
+
 
 # Summary