[SCM] GNU Autoconf source repository branch, master, updated. v2.69-102-g63f3c78

This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "GNU Autoconf source repository".

http://git.sv.gnu.org/gitweb/?p=autoconf.git;a=commitdiff;h=63f3c78cdb0ccc85751543e387ef2a7252d5f0a2

The branch, master has been updated
       via  63f3c78cdb0ccc85751543e387ef2a7252d5f0a2 (commit)
      from  79c4c50fc754d742286706b4db5ed8ce2a0de925 (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.

- Log -----------------------------------------------------------------
commit 63f3c78cdb0ccc85751543e387ef2a7252d5f0a2
Author: Paul Eggert <[email protected]>
Date:   Sat Aug 10 08:12:07 2013 -0700

    doc: 'configure && make', not 'configure; make' (Bug#15066)
    
    * doc/install.texi (Basic Installation): Say '&&', not ';'.

-----------------------------------------------------------------------

Summary of changes:
 doc/install.texi |    3 ++-
 1 files changed, 2 insertions(+), 1 deletions(-)

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


hooks/post-receive
-- 
GNU Autoconf source repository