From 1b76d5137ed76eed23fda23861dd5b63f22a31eb Mon Sep 17 00:00:00 2001
From: Enrico
Date: Thu, 7 Feb 2019 20:54:12 +0100
Subject: add a link to the website (#274)

* Update README.md---
 README.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/README.md b/README.md
index f85cdca..0d117bc 100644
--- a/README.md
+++ b/README.md
@@ -26,6 +26,8 @@ installation instructions in other scenarios.
 
 ## How to get help
 
+- The [website](http://math-comp.github.io/math-comp/) of the MathComp library
+  contains links to the HTML documentation of each file.
 - The [ssreflect mailing
   list](https://sympa.inria.fr/sympa/info/ssreflect) is the primary
   venue for help and questions about the library.
-- 
cgit v1.2.3