[Top][All Lists]

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


From: Tom Tromey
Subject: Re: *_TEXINFOS
Date: 17 May 2001 19:57:42 -0600

[ where to build info files ]

>> Sometimes I wonder if this is really the right thing to do.

Alexandre> Perhaps it should be an option?

I think for now I'm just going to leave it as-is.  It works, and we
haven't had a huge number of complaints.  I'm more interested in
getting 1.5 out than on changing this sort of thing.


reply via email to

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