Rocqnavi: 🐛 Fix broken links caused by the separation of the ssreflect namespace in Math-Comp 2.5 (issue-168) (#2012)

Author: yoshihiro503

Makefile.common

@@ -119,5 +119,5 @@ html: build $(DOCDIR)/dependency_graph.dot
         -index-blacklist etc/rocqnavi_index-blacklist \
         -show-type-information-using-coqtop-process \
 	-external https://math-comp.github.io/htmldoc_2_5_0/ mathcomp.order \
-	-external https://math-comp.github.io/htmldoc_2_5_0/ mathcomp.ssreflect \
+	-external https://math-comp.github.io/htmldoc_2_5_0/ mathcomp.boot \
 	-external https://math-comp.github.io/htmldoc_2_5_0/ mathcomp.algebra