From 9ebf44d84754adc5b64fcf612c6816c02c80462d Mon Sep 17 00:00:00 2001
From: Benjamin Barenblat <bbaren@debian.org>
Date: Sat, 2 Feb 2019 19:29:23 -0500
Subject: Imported Upstream version 8.9.0

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

(limited to 'INSTALL')

diff --git a/INSTALL b/INSTALL
index bb41e490..6e7903a6 100644
--- a/INSTALL
+++ b/INSTALL
@@ -46,8 +46,8 @@ WHAT DO YOU NEED ?
 
    - a C compiler
 
-   - for Coqide, the Lablgtk development files, and the GTK libraries
-     including gtksourceview, see INSTALL.ide for more details
+   - for CoqIDE, the lablgtk development files (version >= 2.18.3),
+     and the GTK 2.x libraries including gtksourceview2.
 
    Note that num, camlp5 and lablgtk should be properly registered with
    findlib/ocamlfind as Coq's makefile will use it to locate the
-- 
cgit v1.2.3