# HG changeset patch
# User Karl Berry <karl@freefriends.org>
# Date 1376235018 25200
# Node ID 6a24e1749b9f97d3eaee46fbe8d3bf6e21ca1278
# Parent  a2d51160929705a173d700799ad6f20b5346ea30
autoupdate

diff --git a/doc/install.texi b/doc/install.texi
--- a/doc/install.texi
+++ b/doc/install.texi
@@ -18,7 +18,8 @@
 @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.