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

[Roberto Bagnara]

Ralf Wildenhues wrote:
> Hello,
>
> 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?
>
> Cheers,
> Ralf
>
> 2007-10-08  Ralf Wildenhues  <address@hidden>
>
>         * doc/install.texi (Basic Installation): Document `uninstall'.
>         * INSTALL: Regenerate.
>         Suggestion by Roberto Bagnara.
>
> diff --git a/INSTALL b/INSTALL
> index 5458714..e8edf5c 100644
> --- a/INSTALL
> +++ b/INSTALL
> @@ -67,6 +67,9 @@ The simplest way to compile this package is:
>       all sorts of other programs in order to regenerate files that came
>       with the distribution.
>  
> +  6. Often, you can also type `make uninstall' to remove the installed
> +     files again.
> +
>  Compilers and Options
>  =====================
>  
> diff --git a/doc/install.texi b/doc/install.texi
> index 5a5d1c1..ad67b92 100644
> --- a/doc/install.texi
> +++ b/doc/install.texi
> @@ -79,6 +79,10 @@ a @samp{make maintainer-clean} target, but that is intended 
> mainly for
>  the package's developers.  If you use it, you may have to get all sorts
>  of other programs in order to regenerate files that came with the
>  distribution.
> +
> address@hidden
> +Often, you can also type @samp{make uninstall} to remove the installed
> +files again.
>  @end enumerate
>  
>  @node Compilers and Options

Looks good to me.
Thanks!

    Roberto

--
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:address@hidden