From e5ad4787ed51bf0bad8a9b742662cbdac5a6abc6 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Wed, 5 Jun 2019 10:35:15 +0200
Subject: Fix #10283: clearer dependency documentation for building CoqIDE.

---
 INSTALL                | 7 ++++++-
 doc/sphinx/changes.rst | 4 +++-
 2 files changed, 9 insertions(+), 2 deletions(-)

diff --git a/INSTALL b/INSTALL
index e02439c54b..8b5a01e401 100644
--- a/INSTALL
+++ b/INSTALL
@@ -50,10 +50,15 @@ WHAT DO YOU NEED ?
    findlib/ocamlfind as Coq's makefile will use it to locate the
    libraries during the build.
 
+   Debian / Ubuntu users can get the necessary system packages for
+   CoqIDE with:
+
+   $ sudo apt-get install libgtk-3-dev libgtksourceview-3.0-dev
+
    Opam (https://opam.ocaml.org/) is recommended to install OCaml and
    the corresponding packages.
 
-   $ opam install num ocamlfind lablgtk conf-gtksourceview
+   $ opam install num ocamlfind lablgtk3 lablgtk3-sourceview3
 
    should get you a reasonable OCaml environment to compile Coq.
 
diff --git a/doc/sphinx/changes.rst b/doc/sphinx/changes.rst
index db4ebd5e38..ce3e10896c 100644
--- a/doc/sphinx/changes.rst
+++ b/doc/sphinx/changes.rst
@@ -120,7 +120,9 @@ reference manual. Here are the most important user-visible changes:
 
 - CoqIDE:
 
-  - CoqIDE now depends on gtk+3 and lablgtk3 instead of gtk+2 and lablgtk2
+  - CoqIDE now depends on gtk+3 and lablgtk3 instead of gtk+2 and lablgtk2.
+    The INSTALL file available in the Coq sources has been updated to list
+    the new dependencies
     (`#9279 <https://github.com/coq/coq/pull/9279>`_,
     by Hugo Herbelin, with help from Jacques Garrigue,
     Emilio Jesús Gallego Arias, Michael Sogetrop and Vincent Laporte).
-- 
cgit v1.2.3