[configure] renamed into configure.ac

.gitattributes

@@ -236,7 +236,7 @@ README* header_spec=.ignore
 # HEADER_SPEC: others #
 #######################
 
-/configure.in header_spec=CEA_INRIA_LGPL
+/configure.ac header_spec=CEA_INRIA_LGPL
 
 /doc/aorai/Makefile header_spec=AORAI_LGPL
 

Makefile

@@ -68,7 +68,7 @@ MINOR_VERSION=$(shell $(SED) -E 's/^[0-9]+\.([0-9]+).*/\1/' VERSION)
 VERSION_CODENAME=$(shell $(CAT) VERSION_CODENAME)
 
 # File used by dune to build src/kernel_internals/runtime/fc_config.ml
-config.sed: VERSION share/Makefile.config share/Makefile.common Makefile configure.in
+config.sed: VERSION share/Makefile.config share/Makefile.common Makefile configure.ac
 	@echo "# generated file" > $@
 	@echo "s|@VERSION@|$(VERSION)|" >> $@
 	@echo "s|@VERSION_CODENAME@|$(VERSION_CODENAME)|" >> $@
@@ -88,7 +88,7 @@ clean:: purge-tests # to be done before a "dune" command
 	rm -rf _build .merlin config.sed autom4te.cache
 
 ########################################################################
-# Makefile.config is rebuilt whenever configure.in is modified         #
+# Makefile.config is rebuilt whenever configure.ac is modified         #
 ########################################################################
 
 share/Makefile.config: share/Makefile.config.in config.status
@@ -105,7 +105,7 @@ config.status: configure
 	$(PRINT_MAKING) $@
 	./config.status --recheck
 
-configure: configure.in .force-reconfigure
+configure: configure.ac .force-reconfigure
 	$(PRINT_MAKING) $@
 	autoconf -f