Re: MAKEINFO variable not honoured

[Andreas Schwab]

Werner LEMBERG <address@hidden> writes:

>>> -MAKEINFO = makeinfo --force -I $(emacsdir) -I $(srcdir)
>>> +MAKEINFO = @MAKEINFO@ --force -I $(emacsdir) -I $(srcdir)
>> 
>> The line should read "MAKEINFO = @MAKEINFO@" exactly, with the extra
>> options being put in a different variable.
>
> Originally, I've done this, and I can change this easily.  Is there a
> rationale behind this limitation?

It's not a limitation.  It makes it possible to properly override it
without reconfiguring.

Andreas.

-- 
Andreas Schwab, address@hidden
GPG Key fingerprint = 58CA 54C7 6D53 942B 1756  01D3 44D5 214B 8276 4ED5
"And now for something completely different."