Subject: Re: texinfo files
To: None <>
From: der Mouse <mouse@Rodents.Montreal.QC.CA>
List: current-users
Date: 09/23/1998 00:34:26
>> Do we distribute the INFO files for [gdb, gcc, etc]?
> I don't believe we do, but we should.  [ another message,
> something about /usr/share/info...]

If you do that, *please* make it easy to disable, on the order of the
NOMAN= trick for manpages or NOLINT= for lint libraries!  My installed
tree is already uncomfortably large, and I have absolutely no use for
info files.  (If I have to read the FSF doc for some reason, I fire up
grep/less/whatever on the .texi files.)

					der Mouse

		     7D C8 61 52 5D E7 2D 39  4E F1 31 3E E8 B3 27 4B