[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: guile-config may need fixing...
|
From: |
Rob Browning |
|
Subject: |
Re: guile-config may need fixing... |
|
Date: |
Tue, 20 Nov 2001 19:15:16 -0600 |
|
User-agent: |
Gnus/5.090004 (Oort Gnus v0.04) Emacs/21.1 |
Marius Vollmer <address@hidden> writes:
> Yes, good idea. Should we also exclude /usr/local?
Not sure -- /usr/{include,lib} seems like a pretty universal candidate
(as do /lib and /include), but I'm not as sure about anything else.
We can always do it and then add platform specific exceptions if we
need to, I suppose.
--
Rob Browning
rlb @defaultvalue.org, @linuxdevel.com, and @debian.org
Previously @cs.utexas.edu
GPG=1C58 8B2C FB5E 3F64 EA5C 64AE 78FE E5FE F0CB A0AD