This directory contains the website:
  http://math-comp.github.io/math-comp/
What is committed in here goes straight online.

By running make in htmldoc one updates the html files 
generated by coqdoc and the library graph.