Re: [PATCH] docs: mention $MAKE during configure

On 01/03/2013 03:10 PM, Stefano Lattarini wrote:
> On 01/03/2013 10:54 PM, Eric Blake wrote:
>> Based on a suggestion from Bob Friesenhahn:
>> https://lists.gnu.org/archive/html/bug-automake/2013-01/msg00017.html
>>
>> * doc/install.texi (Defining Variables): Mention that MAKE
>> can be overridden, and the caveats that come with setting it.

>> +Another variable to be aware of is @env{MAKE}; many packages allow this
>> +to be set during @command{configure} in order to request the use of an
>> +alternative @command{make} implementation (such as GNU make, which is
>> +often present as @command{gmake}).  However, once an alternative is
>> +chosen, the resulting Makefile may no longer work with the generic
>> +@command{make}, so you must make sure to consistently use your
>> +alternative make.
>> +
> s/make/@command{make}/?

Or maybe s/make/$MAKE/?

> 
> Apart from that possible nit, ACK from me.

I'll see if anyone else chimes in with a wording suggestion in the next
24 hours or so, then push.  We will then see if the gnulib autoupdate
picks it up, or if I will have to give it a kick to find the new INSTALL.

-- 
Eric Blake   eblake redhat com    +1-919-301-3266
Libvirt virtualization library http://libvirt.org

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
Comment: Public key at http://people.redhat.com/eblake/eblake.gpg
Comment: Using GnuPG with undefined - http://www.enigmail.net/

iQEcBAEBCAAGBQJQ5gSfAAoJEKeha0olJ0NqgnwH/Rz6I3/0rGa8hjfOe0Auz00X
GiFJZzuJHSycaAtLi/1czQIQCV5KOSuSEX/TUKN9vkbelJ1y7X7PXNMKO6yuSW91
yjegGi0GV98FOkNWKNtF1m6UjJC5HLKNPMNWG38afA9EN/c4CxQcVBo9NlOJ78wS
opAogiYHD/PW5eFFRd9GK/fnQYhFj+ujOvfwcT/yCv6Ca6CQs7y/0jO+ePgB/+44
6YKXwTpQfJZIgeaQgFlT8NSLylpyLneSSvGageTD7sHh/3Z5Pr5fFrwu3BKfozRM
Ys8iIcz5go2jL4F5+LUa7MovO2kK4fXQhn8vL2gazR34IiLsqhLgK5qgjAxsrB8=
=uU5j
-----END PGP SIGNATURE-----