Re: `make uninstall' is not documented in the `INSTALL' files

[Ralf Wildenhues]

Hello,

* Roberto Bagnara wrote on Mon, Oct 08, 2007 at 09:21:16PM CEST:
> Ralf Wildenhues <Ralf.Wildenhues <at> gmx.de> writes:
> 
> > Roberto Bagnara suggest in
> > <http://lists.gnu.org/archive/html/bug-standards/2007-10/msg00000.html>
> > that `INSTALL' document the `uninstall' target.  Karl cautioned that it
> > doesn't work with many packages.  What do you think about this patch?
[...]
> Looks good to me.
> Thanks!

* Eric Blake wrote on Mon, Oct 08, 2007 at 09:19:54PM CEST:
> How about you commit it (to give you some git push experience), along with an 
> update to the THANKS file.

Thanks to both of you, committed.  Not sure who you would like me to add
to THANKS, both Karl and Roberto are mentioned already.

Cheers,
Ralf