diff options
| author | Clément Pit-Claudel | 2019-06-12 11:21:59 -0400 |
|---|---|---|
| committer | Clément Pit-Claudel | 2019-06-12 11:21:59 -0400 |
| commit | ac854a5542b2118be5dfd7bd26d9e3a5db945167 (patch) | |
| tree | b8244b8a4feda26e3ccc431209396716f2fa5252 /doc | |
| parent | c049fa922fd1a12a4a5faddcd06b3475d0529cf6 (diff) | |
| parent | a3da7880393791fcf3ed3eafe8444b3049e3119f (diff) | |
Merge PR #10310: Fix #10283: clearer dependency documentation for building CoqIDE.
Reviewed-by: cpitclaudel
Reviewed-by: ejgallego
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/sphinx/changes.rst | 4 |
1 files changed, 3 insertions, 1 deletions
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). |