From a3da7880393791fcf3ed3eafe8444b3049e3119f Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Wed, 5 Jun 2019 14:32:41 +0200
Subject: Remove redundancies in the INSTALL doc.

---
 INSTALL | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/INSTALL b/INSTALL
index 8b5a01e401..30f0938690 100644
--- a/INSTALL
+++ b/INSTALL
@@ -53,12 +53,12 @@ WHAT DO YOU NEED ?
    Debian / Ubuntu users can get the necessary system packages for
    CoqIDE with:
 
-   $ sudo apt-get install libgtk-3-dev libgtksourceview-3.0-dev
+   $ sudo apt-get install libgtksourceview-3.0-dev
 
    Opam (https://opam.ocaml.org/) is recommended to install OCaml and
    the corresponding packages.
 
-   $ opam install num ocamlfind lablgtk3 lablgtk3-sourceview3
+   $ opam install num ocamlfind lablgtk3-sourceview3
 
    should get you a reasonable OCaml environment to compile Coq.
 
-- 
cgit v1.2.3