Commit 6fa8d3c8 authored by Paul Eggert's avatar Paul Eggert

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).
parent 7cc66173
Pipeline #1417 passed with stage
in 50 minutes and 10 seconds