From 462bd30acfeedb5aad84de86db62db0b531f007f Mon Sep 17 00:00:00 2001 From: Martin Vassor Date: Tue, 5 Dec 2017 14:37:33 +0100 Subject: Correct typo --- INSTALL | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/INSTALL b/INSTALL index faac79f18..3b3fd8b83 100644 --- a/INSTALL +++ b/INSTALL @@ -43,7 +43,7 @@ WHAT DO YOU NEED ? - a C compiler - for Coqide, the Lablgtk development files, and the GTK libraries - incuding gtksourceview, see INSTALL.ide for more details + including gtksourceview, see INSTALL.ide for more details Opam (https://opam.ocaml.org/) is recommended to install ocaml and the corresponding packages. -- cgit v1.2.3