From 60cabf7b9c08a4dc9837cf36fe4f94bcb00de3e2 Mon Sep 17 00:00:00 2001 From: Karl Berry Date: Sun, 11 Aug 2013 08:31:43 -0700 Subject: regenerate --- doc/INSTALL | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'doc/INSTALL') diff --git a/doc/INSTALL b/doc/INSTALL index 007e9396d0..2099840756 100644 --- a/doc/INSTALL +++ b/doc/INSTALL @@ -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 -- cgit v1.2.1