Am Montag, 3. Dezember 2012, 18:50:22 schrieb Anton Ertl: > > Ok, makes sense. The logic then is: If $prefix is /usr, don't add > > /usr/share..., if it's /usr/local, don't add /usr/local/share..., as it is > > created by $prefix/share... > > Or we may leave $prefix/share away and just use /usr and /usr/local.
We need $prefix/share for the odd setups, where there is no /usr at all... also, when you install gforth in your home directory, you want to keep that stuff in $HOME/share. -- Bernd Paysan "If you want it done right, you have to do it yourself" http://bernd-paysan.de/
signature.asc
Description: This is a digitally signed message part.
