Add documentation links to INSTALL file.

95760c8f · Guillaume Melquiond · dc6ac4e3 · 95760c8f
Commit 95760c8f authored Nov 06, 2017 by Guillaume Melquiond
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 1 deletion

INSTALL.md INSTALL.md +2 -1

No files found.
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -33,4 +33,5 @@ Detailed instructions
 ---------------------

 For detailed instructions and required dependencies, please see
-the manual `doc/manual.pdf`, Chapter 5 "Compilation, Installation".
+the manual [doc/manual.pdf](http://why3.lri.fr/manual.pdf), Chapter 5
+[Compilation, Installation](http://why3.lri.fr/doc/install.html).