X-Git-Url: http://erislabs.net/gitweb/?a=blobdiff_plain;f=doc%2FINSTALL;h=2099840756e6302d837dcd51b5dcd6262f7adb16;hb=7ef6c64e210ac0979d7e8ac69bc5b5208c2405ab;hp=6e90e07d271f34826b3868acf577d68a5761c0c1;hpb=7f45e1ae3741d0e03657c0c883e9b6cd1591f87c;p=gnulib.git

diff --git a/doc/INSTALL b/doc/INSTALL
index 6e90e07d2..209984075 100644
--- a/doc/INSTALL
+++ b/doc/INSTALL
@@ -1,7 +1,7 @@
 Installation Instructions
 *************************
 
-Copyright (C) 1994-1996, 1999-2002, 2004-2012 Free Software Foundation,
+Copyright (C) 1994-1996, 1999-2002, 2004-2013 Free Software Foundation,
 Inc.
 
    Copying and distribution of this file, with or without modification,
@@ -12,8 +12,8 @@ without warranty of any kind.
 Basic Installation
 ==================
 
-   Briefly, the shell commands `./configure; make; make install' should
-configure, build, and install this package.  The following
+   Briefly, the shell command `./configure && make && make install'
+should configure, build, and install this package.  The following
 more-detailed instructions are generic; see the `README' file for
 instructions specific to this package.  Some packages provide this
 `INSTALL' file but do not implement all of the features documented