>> Do we distribute the INFO files for [gdb, gcc, etc]?
> I don't believe we do, but we should.  [...in 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

			       mouse@rodents.montreal.qc.ca
		     7D C8 61 52 5D E7 2D 39  4E F1 31 3E E8 B3 27 4B