GNOME Bugzilla – Bug 510747
Use $(MAKE) instead of make to fix the build if GNU make is called different
Last modified: 2008-01-20 17:09:23 UTC
Hi, the attached patch fixes the build on FreeBSD and other systems where GNU make is called different than make, i.e. gmake. Before, if called with "gmake" those Makefiles would still call make, now they call "gmake" or whatever they were called with. This change is pretty trivial and would be nice to have in for the next release. Bye
Created attachment 103240 [details] [review] manuals.diff
works for me, please commit
2008-01-20 Sebastian Dröge <slomo@circular-chaos.org> * docs/manuals.mak: Use $(MAKE) instead of make to fix the build if GNU make is called different. Fixes bug #510747.