Clarify build and installation instructions.

1 files changed, 12 insertions, 9 deletions

diff --git a/INSTALL b/INSTALL
index e7915e42..5df01030 100644
--- a/INSTALL
+++ b/INSTALL
@@ -6,12 +6,12 @@ if you already have a running GCL (2.6.7 or 2.6.8), that is good.
 Otherwise, you would need to download a dependency tarball from
 OpenAxiom's download web site.  See instructions below.
 
-OpenAxiom needs noweb for extracting its source codes.  If you don't
-have running noweb utilities, you would need to either download the
+OpenAxiom needs `noweb' for extracting its source codes.  If you don't
+have running `noweb' utilities, you would need to either download the
 dependency tarball from OpenAxiom's download web site, or separately
 install them, and then proceed with configuration as detailed below.
 
-Note that GCL and noweb are needed only to build OpenAxiom.  They are
+Note that GCL and `noweb' are needed only to build OpenAxiom.  They are
 not needed to run it.
 
 Finally, you would need a working GNU C compiler.  It is also recommended
@@ -82,6 +82,14 @@ would then have typed
 
      ../open-axiom-1.1.0/configure --prefix=/banana/space
 
+This is recommended, especially if you already have a different software, 
+not OpenAxiom, the executable filename of which is also called `axiom'.
+That way, you don't confuse OpenAxiom's command `axiom', with any other
+program that you may have on your system.  Most users usually have only
+one software with a given name on their machines.  If you plan to 
+have many software sharing the same executable name, please make sure
+that you install them in distinct directories so that they don't conflict.
+
 2.c. Make the system
 
 Just type
@@ -124,12 +132,7 @@ make sure that you've gained the adequate privileges.  Then, type:
 
 After step 3.b., your should have a script called `axiom', in
 /usr/local/bin or /banana/space/bin or /whichever/prefix/you/used/bin,
-ready for your.  Just type in
-
-    axiom
-
-in the shell.
-  
+ready for use.  
 
 4.  Enjoy
     -----