> > Go the installation directory and try
> > #make uninstall  - >  if it doesn't work then do the following
> >
> > # make clean
> > # make dist clean
> > and remove the directory manually
> >
>
> I think he wants to know how to uninstall the files that were
> installed with 'make install', not the source directory.
>

Nevermind, wow I'm tired, should read the entire email and not just
the last three lines.

---------------------------(end of broadcast)---------------------------
TIP 2: Don't 'kill -9' the postmaster

Reply via email to