Index: src/prelude/Makefile.in
===================================================================
--- src/prelude/Makefile.in	(revision 469f70916d0e9549c4a699898db1232ec497fdeb)
+++ src/prelude/Makefile.in	(revision 9a1e509e6ded571c2f6355253b2c7bfa0b4a2340)
@@ -294,7 +294,7 @@
 	  esac; \
 	done; \
-	echo ' cd $(top_srcdir) && $(AUTOMAKE) --gnu src/prelude/Makefile'; \
+	echo ' cd $(top_srcdir) && $(AUTOMAKE) --foreign src/prelude/Makefile'; \
 	$(am__cd) $(top_srcdir) && \
-	  $(AUTOMAKE) --gnu src/prelude/Makefile
+	  $(AUTOMAKE) --foreign src/prelude/Makefile
 Makefile: $(srcdir)/Makefile.in $(top_builddir)/config.status
 	@case '$?' in \