1 files changed, 2 insertions, 2 deletions
diff --git a/INSTALL b/INSTALL
index 007e9396..20998407 100644
--- a/INSTALL
+++ b/INSTALL
@@ -12,8 +12,8 @@ without warranty of any kind.
 Basic Installation
 ==================
-   Briefly, the shell commands `./configure; make; make install' should
+   Briefly, the shell command `./configure && make && make install'
-configure, build, and install this package.  The following
+should configure, build, and install this package.  The following
 more-detailed instructions are generic; see the `README' file for
 instructions specific to this package.  Some packages provide this
 `INSTALL' file but do not implement all of the features documented

diff --git a/INSTALL b/INSTALL index 007e9396..20998407 100644 --- a/INSTALL +++ b/INSTALL
@@ -12,8 +12,8 @@ without warranty of any kind.
12	Basic Installation	12	Basic Installation
13	==================	13	==================
14		14
15	Briefly, the shell commands `./configure; make; make install' should	15	Briefly, the shell command `./configure && make && make install'
16	configure, build, and install this package. The following	16	should configure, build, and install this package. The following
17	more-detailed instructions are generic; see the `README' file for	17	more-detailed instructions are generic; see the `README' file for
18	instructions specific to this package. Some packages provide this	18	instructions specific to this package. Some packages provide this
19	`INSTALL' file but do not implement all of the features documented	19	`INSTALL' file but do not implement all of the features documented