Skip to content

update mathcomp documentation URL

Björn Brandenburgrequested to merge
ssreflect-doc-url-fix into master

The mathcomp coqdoc documentation is now at:

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

Tweak our Makefile accordingly.

Merge request reports