On Wed, 2002-01-30 at 15:19, John Beimler wrote: > # make > # make install
Being the lazy sort that I am, I have to ask without looking it up myself: Does every package provide a "make uninstall" option? Seems that would be natural, but I had to ask. Otherwise, what good is a package system, if you can't remove things? Regards, matt -- Matt Matthews \ ph: 919.660.2811 \ Use GNU/Linux _o) w00t Duke Univ., Postdoc\ [EMAIL PROTECTED] \____________ /\\ Dept. of Mathematics\ http://www.math.duke.edu/~jvmatthe/ \ _\_V
