diff options
author | Karl Berry <karl@freefriends.org> | 2013-08-11 08:30:18 -0700 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2013-08-11 08:30:18 -0700 |
commit | 9809ae591bcf4bf16b809d51f126fc756e303676 (patch) | |
tree | 6677e271073fef3c992bee3f36e225314ac69af8 | |
parent | dc6d2b5b3652b68d4c62a3875c6960a473b4eaea (diff) | |
download | gnulib-9809ae591bcf4bf16b809d51f126fc756e303676.tar.gz |
autoupdate
-rw-r--r-- | doc/install.texi | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/install.texi b/doc/install.texi index cabcef5b42..b58c9ed4b5 100644 --- a/doc/install.texi +++ b/doc/install.texi @@ -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. |