Re: texinfo problem

[Tom Tromey]

>>>>> "Tim" == Tim Van Holder <[EMAIL PROTECTED]> writes:

Tim> Then again, you could simply mention this problem with missing in
Tim> the docs and tell developers to configure using MAKEINFO=makeinfo
Tim> if they intend to change the docs; that way, missing wouldn't be
Tim> run and the problem wouldn't occur.

I wouldn't want to have to remember to do that.

Tom