]> Savannah Git Hosting - gnulib.git/commitdiff
autoupdate
authorKarl Berry <karl@freefriends.org>
Sun, 11 Aug 2013 15:30:18 +0000 (08:30 -0700)
committerKarl Berry <karl@freefriends.org>
Sun, 11 Aug 2013 15:30:18 +0000 (08:30 -0700)
doc/install.texi

index cabcef5b42773f0671180a4af09bed09c7b375cf..b58c9ed4b54c6e25a69f132b801ba692967f5775 100644 (file)
@@ -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.