changeset 17466:6a24e1749b9f

author Karl Berry <>
date Sun, 11 Aug 2013 08:30:18 -0700
parents a2d511609297
children fef215fb6420
files doc/install.texi
diffstat 1 files changed, 2 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/doc/install.texi
+++ b/doc/install.texi
@@ -18,7 +18,8 @@
 @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.