diff options
| author | Matthieu Sozeau | 2020-09-09 17:00:17 +0200 |
|---|---|---|
| committer | GitHub | 2020-09-09 17:00:17 +0200 |
| commit | b3bcc61bc5babb42b0526983bd91893d550b8ed1 (patch) | |
| tree | 9fc1a130afb7e9b25ce22380b6543714542d78c6 | |
| parent | cdfe69d6da6b32338ba74c9f599c74389089c9dd (diff) | |
Update INSTALL.md
| -rw-r--r-- | INSTALL.md | 6 |
1 files changed, 6 insertions, 0 deletions
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 ------------------ |