Cosmetic changes

1 files changed, 14 insertions, 15 deletions

diff --git a/INSTALL b/INSTALL
index 9169924..1c0e46c 100644
--- a/INSTALL
+++ b/INSTALL
@@ -6,29 +6,28 @@ Prerequisites
 
 Installing the build system
 
-  To install the build system you can say
+  To install the build system you can execute the following command 
+  in the root directory of the source distribution:
 
   $ make install
 
-  in the root directory of the source distribution. If you want to
-  install it to a different location (default is /usr/local) you
-  can say
+  If you want to install it to a different location (default is 
+  /usr/local) you can do
 
   $ make install_prefix=/usr install
 
-  Note that you need to install the build runtime into a place where
-  `make' will look by default (normally /usr/include and /usr/local/include).
-  Alternatively, you can install it into some other place (e.g., your home
-  directory) and set MAKEFLAGS accordingly:
+  Note that you need to install the build runtime into a place where GNU 
+  make will look by default (normally /usr/include and /usr/local/include).
+  Alternatively, you can install it into some other place (for example, 
+  your home directory) and set MAKEFLAGS accordingly:
 
-  $ make install install_prefix=/home/boris/local
-  $ export MAKEFLAGS="-I /home/boris/local/include"
+  $ make install install_prefix=/home/user/local
+  $ export MAKEFLAGS="-I /home/user/local/include"
 
 
 Building examples
 
-  There is a makefile accompanying each example. Saying 'make'
-  usually does the trick. Note that saying 'make install' in
-  example directory will install what the example has built as
-  opposed to installing the example itself.
-
+  There is a makefile accompanying each example. Running 'make' usually 
+  does the trick. Note that running 'make install' in an example directory
+  will install what the example has built as opposed to installing the 
+  example source code.