X-Git-Url: http://erislabs.net/gitweb/?a=blobdiff_plain;f=doc%2Finstall.texi;h=b58c9ed4b54c6e25a69f132b801ba692967f5775;hb=23eecb48e39afd0d267d64d40ba6bf97aa865e13;hp=4c2ffb534dca5609c143cec77d3237713377b9e9;hpb=4777b98ea548b3f30433cd72b0a8d52c43d3d3f2;p=gnulib.git

diff --git a/doc/install.texi b/doc/install.texi
index 4c2ffb534..b58c9ed4b 100644
--- a/doc/install.texi
+++ b/doc/install.texi
@@ -5,7 +5,7 @@
 
 @unnumbered Installation Instructions
 
-Copyright @copyright{} 1994-1996, 1999-2002, 2004-2012 Free Software
+Copyright @copyright{} 1994-1996, 1999-2002, 2004-2013 Free Software
 Foundation, Inc.
 
 Copying and distribution of this file, with or without modification, are
@@ -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.