Merge pull request #1410 from mikeshulman/gtk

separate out gtk dependencies in copy-paste lines in INSTALL
HoTT · Jan 14, 2021 · 02a5b8b · 02a5b8b
2 parents cd794c2 + be49eb2
commit 02a5b8b
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/INSTALL.md b/INSTALL.md
@@ -49,7 +49,11 @@ You may also need to run
 to continue working in the same terminal.  Then you can install the
 required dependencies:
 
-    opam install ocaml camlp5 lablgtk3 lablgtk3-sourceview3 ocamlfind num zarith
+    opam install ocaml camlp5 ocamlfind num zarith
+
+and, if you want to build `coqide`:
+
+    opam install lablgtk3 lablgtk3-sourceview3
 
 [1]:https://opam.ocaml.org/doc/Install.html