From: Paul Eggert <eggert@cs.ucla.edu>
Date: Sat, 10 Aug 2013 15:12:07 +0000 (-0700)
Subject: doc: 'configure && make', not 'configure; make' (Bug#15066)
X-Git-Tag: v2.69b~132
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=63f3c78cdb0ccc85751543e387ef2a7252d5f0a2;p=thirdparty%2Fautoconf.git

doc: 'configure && make', not 'configure; make' (Bug#15066)

* doc/install.texi (Basic Installation): Say '&&', not ';'.
---

diff --git a/doc/install.texi b/doc/install.texi
index cabcef5b..b58c9ed4 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.