More documentation work on the way to final 1.17 release.

Additional work on the Makefile.

1 files changed, 4 insertions, 4 deletions

diff --git a/INSTALL b/INSTALL
index 245f290..de45d79 100644
--- a/INSTALL
+++ b/INSTALL
@@ -1,5 +1,5 @@
-$Id: INSTALL,v 1.11 2002/11/14 03:53:08 helios Exp $
+$Id: INSTALL,v 1.12 2002/11/14 22:52:54 helios Exp $
 
-This document has been superseded by the new documentation
-in the Documentation/ directory.  There you will find
-PS, plaintext, and HTML versions of the documentation.
+This document has been superseded by the new documentation in the
+Documentation/ directory.  There you will find the docs in a variety of
+formats, including PostScript, plaintext, and HTML.