[gedit-latex] Boilerplate change

[Pietro Battiston <pbattiston src gnome org>]

commit 0f42511edd7bccabf25e6812280e20ec6302650e
Author: Pietro Battiston <pbattiston src gnome org>
Date:   Mon Mar 21 21:44:59 2016 +0100

    Boilerplate change

 INSTALL |    4 ++--
 1 files changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/INSTALL b/INSTALL
index 007e939..2099840 100644
--- a/INSTALL
+++ b/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