documentation adjustments

1 files changed, 5 insertions, 4 deletions

diff --git a/INSTALL b/INSTALL
index e1e95b2..93b4650 100644
--- a/INSTALL
+++ b/INSTALL
@@ -27,7 +27,7 @@ Basic Installation
 The simplest way to build and install the software is:
 
  1: Go to the directory that contains this file and the makefiles, and run
-    "make" to build the library.
+    "make" to build the software.
 
  2: Run "make install" to copy the files to the default locations. You will
     probably need root privileges if you install to the default locations.
@@ -163,7 +163,6 @@ variables listed above, DESTDIR is effective in the installation step.
 The following preprocessor symbols are used when the project files are
 preprocessed. They are derived from the Make variables above when the makefiles
 invoke Gnatprep. You may need to define them if you run Gnatprep manually.
-The same defaults as above will be used if the symbols are undefined.
 
  Directories_GPR
     The filename of the directories project, if any; corresponding to dirgpr.
@@ -192,7 +191,8 @@ The same defaults as above will be used if the symbols are undefined.
  Miscdocdir
  Runtimedir
  Lockdir
-    These correspond to the like-named Make variables.
+    These correspond to the like-named Make variables. The same defaults as
+    above will be used if the symbols are undefined.
 
 
 Optional Features
@@ -218,7 +218,8 @@ options are passed to them:
     version of Gnatprep or a wrapper for example. Default: gnatprep
 
  GNAT_BUILDER
-    The command for invoking the builder, that is GPRbuild. Default: gprbuild
+    The command for invoking the builder, that is GPRbuild or Gnatmake.
+    Default: gprbuild
 
  GNATFLAGS
     A space-separated list with all of the optional parameters to be passed to