Re: MAKEINFO variable not honoured

[Werner LEMBERG]

> 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.


     Werner