diff options
author | Karl Berry <karl@freefriends.org> | 2013-08-11 08:31:43 -0700 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2013-08-11 08:31:43 -0700 |
commit | 60cabf7b9c08a4dc9837cf36fe4f94bcb00de3e2 (patch) | |
tree | b3942009af237767f5831ecf2e4999a9d8806265 /doc/INSTALL | |
parent | 9809ae591bcf4bf16b809d51f126fc756e303676 (diff) | |
download | gnulib-60cabf7b9c08a4dc9837cf36fe4f94bcb00de3e2.tar.gz |
regenerate
Diffstat (limited to 'doc/INSTALL')
-rw-r--r-- | doc/INSTALL | 4 |
1 files changed, 2 insertions, 2 deletions
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 |