From 63f3c78cdb0ccc85751543e387ef2a7252d5f0a2 Mon Sep 17 00:00:00 2001 From: Paul Eggert Date: Sat, 10 Aug 2013 08:12:07 -0700 Subject: [PATCH] doc: 'configure && make', not 'configure; make' (Bug#15066) * doc/install.texi (Basic Installation): Say '&&', not ';'. --- doc/install.texi | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/doc/install.texi b/doc/install.texi index cabcef5b..b58c9ed4 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. -- 2.47.2