Hi, Andreas Jaeger schrieb: > If this is specific script currently only used to add /opt/gnome, then > this will be obsolete once we switch from /opt/gnome to /usr - and > therefore we should remove it directly before others start using > it. ;-)
Like that, yes. Actually it is used to add both /opt/gnome and /usr/local, and nothing else. But I don't see why /usr/local shouldn't be hardcoded - the dirlist entry which adds /usr/local is in the automake package itself, so hard-coding it wouldn't make any difference. I thought that being able to use this script to add arbitrary prefixes was intentional, but if it's not, why not just hardcode /usr/local permanently and /opt/gnome temporarily until GNOME moves to /usr? Andreas Hanke --------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
