About prefix on linux

[H.J. Lu]

> 
> 
> > I have feeling that install egs in /usr/local on linux as default
> > may cause more trouble than its worth for most of Linux users.
> 
> Would you be willing to wait and see if there are complaints?
> 

I can wait and I hope I was wrong. But if most of linux people just
use the precompile binraries with prefix=/usr, there may be few
complaints. Does that mean I am correct :-)?


-- 
H.J. Lu (hjl@gnu.ai.mit.edu)