diff --git a/Makefile.common b/Makefile.common
index fe936656b..21375da9c 100644
--- a/Makefile.common
+++ b/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