From c93e54c38279bbefeda1d005d17b39b020bd867d Mon Sep 17 00:00:00 2001
From: Yves Bertot
Date: Mon, 5 Nov 2018 16:51:17 +0100
Subject: fix issue #240

---
 docs/index.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/index.html b/docs/index.html
index c1c0909..2ee5b07 100644
--- a/docs/index.html
+++ b/docs/index.html
@@ -33,7 +33,7 @@
 <a id="about" class="anchor" href="#about" aria-hidden="true"><span class="octicon octicon-link"></span></a>About</h3>
 
 <p> The Mathematical Components library for 
- <a href="http://www.coq.inria.fr">Coq</a> has its origins in
+ <a href="http://coq.inria.fr">Coq</a> has its origins in
 the formal proof of the Four Colour Theorem.  Since then it has grown
 to cover many areas of mathematics and has been used for 
 large scale projects like the formal proof of the Odd Order Theorem.
-- 
cgit v1.2.3