Re: *_TEXINFOS

[Tom Tromey]

[ 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