* doc/install.texi (Basic Installation): Document `uninstall'.
* INSTALL: Regenerate.
Suggestion by Roberto Bagnara.
+2007-10-09 Ralf Wildenhues <Ralf.Wildenhues@gmx.de>
+
+ * doc/install.texi (Basic Installation): Document `uninstall'.
+ * INSTALL: Regenerate.
+ Suggestion by Roberto Bagnara.
+
2007-10-08 Paul Eggert <eggert@cs.ucla.edu>
* doc/autoconf.texi (Limitations of Usual Tools): V7 awk had 'index'.
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
=====================
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.
+
+@item
+Often, you can also type @samp{make uninstall} to remove the installed
+files again.
@end enumerate
@node Compilers and Options