fix issue #240

1 files changed, 1 insertions, 1 deletions

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.