Let plain ‘make’ work even not GNU Make

* Makefile.in (top_distclean): Clean makefile as well as Makefile.
* configure.ac: If not using plain ‘make’, create a makefile
so that plain ‘make’ simply calls $(MAKE).

diff --git a/Makefile.in b/Makefile.in
index 53703638c4262c6832acc6519dc3de12311a17a7..6b99d24da4971f5e206a6c4cef6796d337879f20 100644 (file)
--- a/Makefile.in
+++ b/Makefile.in
@@ -869,7 +869,7 @@ top_bootclean=\
 top_distclean=\
        ${top_bootclean}; \
        rm -f config.status config.log~ \
-         Makefile lib/gnulib.mk ${SUBDIR_MAKEFILES}
+         Makefile makefile lib/gnulib.mk ${SUBDIR_MAKEFILES}
 
 distclean_dirs = $(clean_dirs) leim lisp
 

diff --git a/configure.ac b/configure.ac
index 0ecb8c40e613551b032010d6badff9819e98a2bb..8b363c7fca605f037f272d904a308129b0ccb9f0 100644 (file)
--- a/configure.ac
+++ b/configure.ac
@@ -5814,4 +5814,12 @@ you can continue to support by using '$0 --with-pop'.])
   esac
 fi
 
-test "$MAKE" = make || AC_MSG_NOTICE([Now you can run '$MAKE'.])
+# Let plain 'make' work.
+test "$MAKE" = make || test -f makefile || cat >makefile <<EOF
+.POSIX:
+MAKE = $MAKE
+all:
+       \$(MAKE) -f Makefile \$?
+.DEFAULT:
+       \$(MAKE) -f Makefile \$<
+EOF