The mathcomp coqdoc documentation is now at:

   https://math-comp.github.io/htmldoc/

Tweak our Makefile accordingly.