Re: MAKEINFO variable not honoured

[Glenn Morris]

Werner LEMBERG wrote:

>> However, during `make bootstrap', this variable isn't honoured since
>> the sub-Makefiles in the `doc' subdirectory contain lines like this
>> 
>>   MAKEINFO = makeinfo --force -I $(srcdir)
>> 
>> which directly overwrite the MAKEINFO variable.
>> 
>> Below a trivial patch which fixes this.
>
> Thanks for your enthusiastical silence! :-)  If noone objects, I'll
> apply it.

A little over a day is not a long time to wait for replies.

It will give funny results when MAKEINFO = off or no.
Probably those cases ought to be reworked somehow.