From: Karl Berry <karl@freefriends.org>
Date: Sun, 25 Nov 2007 19:05:04 +0000 (-0800)
Subject: sync with autoconf
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=68eb2551b99bd832f081da11d2df90632db65e33;p=pspp

sync with autoconf
---

diff --git a/doc/INSTALL b/doc/INSTALL
index 5458714e1e..e8edf5c4c5 100644
--- a/doc/INSTALL
+++ b/doc/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
 =====================