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