Quoting SoloCDM ([EMAIL PROTECTED]):
> After a make install, is there a make uninstall -- if an installation
> doesn't go as planned (btw, everything is just fine)?
A quick look at the Makefile reveals that although there are
sub-targets prepared for the uninstall procedure (uninstall the
binary, uninstall the info files and manpages), there is no generic
target for `make uninstall'.
I do not know if it has been left out intentionally or if it's just
been forgotten. Maybe Hrvoje can comment on that.
-- jan
-----------------------------------+----------------------------------------
Jan Prikryl icq | vr|vis center for virtual reality and
<[EMAIL PROTECTED]> 83242638 | visualisation http://www.vrvis.at
-----------------------------------+----------------------------------------
