X-Git-Url: http://erislabs.net/gitweb/?p=gnulib.git;a=blobdiff_plain;f=doc%2FINSTALL.ISO;fp=doc%2FINSTALL.ISO;h=d60c04bbd7337362a4fd50b17fbb07aba6c25e4c;hp=5fd5407c1790cd59e4ff09830fce27044d6c4ed9;hb=458c944ddbb41cd6ba34416db2867eb6f17bf61a;hpb=6a8461af29d6ce87d891ca8e1433848f5f4c45b8

diff --git a/doc/INSTALL.ISO b/doc/INSTALL.ISO
index 5fd5407c1..d60c04bbd 100644
--- a/doc/INSTALL.ISO
+++ b/doc/INSTALL.ISO
@@ -12,8 +12,8 @@ without warranty of any kind.
 Basic Installation
 ==================
 
-   Briefly, the shell commands './configure; make; make install' should
-configure, build, and install this package.  The following
+   Briefly, the shell command './configure && make && make install'
+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