doc/make.texi: Clean up references to GNU Make
1 file changed