From b3bcc61bc5babb42b0526983bd91893d550b8ed1 Mon Sep 17 00:00:00 2001
From: Matthieu Sozeau
Date: Wed, 9 Sep 2020 17:00:17 +0200
Subject: Update INSTALL.md

---
 INSTALL.md | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'INSTALL.md')

diff --git a/INSTALL.md b/INSTALL.md
index 2b5986ded4..6de5259944 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -1,6 +1,12 @@
 Installing From Sources
 =======================
 
+This document presents instructions to install this branch of Coq.
+For more general installation instructions and information about know
+build system issue, please consult the wiki page: 
+
+  https://github.com/coq/coq/wiki#coq-installation
+
 Build Requirements
 ------------------
 
-- 
cgit v1.2.3