[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: *_TEXINFOS
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.
Tom