>>>>> "der" == der Mouse <mouse@Rodents.Montreal.QC.CA> writes:
>>> 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...]
der> If you do that, *please* make it easy to disable, on the order of the
der> NOMAN= trick for manpages or NOLINT= for lint libraries! My installed
der> tree is already uncomfortably large, and I have absolutely no use
I'd like to see *everything* in /usr/share be a seperate install set.
It is completely unneeded on networked/dataless workstations.
If the /usr/share/info files are an additional set, that is fine for
me, and if they don't get built, cool withme too.
:!mcr!: | Network and security consulting/contract programming
Michael Richardson | Firewalls, TCP/IP and Unix administration
Personal: http://www.sandelman.ottawa.on.ca/People/Michael_Richardson/Bio.html
Corporate: http://www.sandelman.ottawa.on.ca/SSW/
ON HUMILITY: To err is human, to moo bovine.