[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: texinfo problem

From: Tom Tromey
Subject: Re: texinfo problem
Date: 30 May 2001 10:39:25 -0600

>>>>> "Tim" == Tim Van Holder <address@hidden> 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.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]