Add new comment

Thanks for the suggestion. I hadn't thought of that possibility. As far as uninstalling is concerned, can I do a "make uninstall" as a regular user or do I have to be root (or use sudo)? What I have been doing up to know, which I am certain is pretty naive, was "find /usr/local -name '**' -print . Then I had been manually going through the list and "rm" ing anything that seemed appropriate.

Thanks,

Edward