diff options
Diffstat (limited to 'doc/install.texi')
-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. |