commit 09cea8a1069f7fc7073f06d3690dffc437337d6e
parent c5dd854e1a00dd5ac14fa5d5e3b9d5f3378d026d
Author: Christian Grothoff <christian@grothoff.org>
Date: Fri, 29 May 2015 13:01:33 +0000
-modernize
Diffstat:
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/INSTALL b/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
