On Fri, 26 Aug 2005, Oliver Wienand wrote:
> Binaries goes to
> /usr/share/lib/Singular
Sorry, but this is a problem. /usr/share is for machine-independent
stuff; binaries should go to /usr/lib. I suggest changing this to
/usr/lib/Singular.
Otherwise the structure looks ok to me.
Igor
--
http://cs.nyu.edu/~pechtcha/
|\ _,,,---,,_ [EMAIL PROTECTED]
ZZZzz /,`.-'`' -. ;-;;,_ [EMAIL PROTECTED]
|,4- ) )-,_. ,\ ( `'-' Igor Pechtchanski, Ph.D.
'---''(_/--' `-'\_) fL a.k.a JaguaR-R-R-r-r-r-.-.-. Meow!
If there's any real truth it's that the entire multidimensional infinity
of the Universe is almost certainly being run by a bunch of maniacs. /DA
