X-Git-Url: http://erislabs.net/gitweb/?p=gnulib.git;a=blobdiff_plain;f=doc%2Finstall.texi;fp=doc%2Finstall.texi;h=b58c9ed4b54c6e25a69f132b801ba692967f5775;hp=cabcef5b42773f0671180a4af09bed09c7b375cf;hb=458c944ddbb41cd6ba34416db2867eb6f17bf61a;hpb=6a8461af29d6ce87d891ca8e1433848f5f4c45b8

diff --git a/doc/install.texi b/doc/install.texi
index cabcef5b4..b58c9ed4b 100644
--- a/doc/install.texi
+++ b/doc/install.texi
@@ -18,7 +18,8 @@ warranty of any kind.
 @node Basic Installation
 @section Basic Installation
 
-Briefly, the shell commands @samp{./configure; make; make install}
+Briefly, the shell command
+@samp{./configure@tie{}&& make@tie{}&& make@tie{}install}
 should configure, build, and install this package.  The following
 more-detailed instructions are generic; see the @file{README} file for
 instructions specific to this package.