fix ci (#1672)

Author: affeldt-aist

Makefile.common

@@ -132,6 +132,16 @@ $(DOCDIR)/dependency_graph.dot: $(DOCDIR)/dependency_graph.pre
 	tred $(DOCDIR)/dependency_graph.pre > $(DOCDIR)/dependency_graph.dot
 
 html: build $(DOCDIR)/dependency_graph.dot
+	mkdir -p $(DOCDIR)
+	find . -not -path '*/.*' -name "*.v" -or -name "*.glob" | xargs rocqnavi \
+	-title "Mathcomp Analysis" \
+	-d $(DOCDIR) -base mathcomp -Q theories analysis \
+	-coqlib https://rocq-prover.org/doc/V8.20.1/stdlib/ \
+	-dependency-graph $(DOCDIR)/dependency_graph.dot \
+	-external https://math-comp.github.io/htmldoc_2_3_0/ mathcomp.ssreflect \
+	-external https://math-comp.github.io/htmldoc_2_3_0/ mathcomp.algebra
+
+machtml: build $(DOCDIR)/dependency_graph.dot
 	coqdep -f _CoqProject > depend.d
 	cat -n depend.d >&2
 	gsed -i 's/Classical/mathcomp\.classical/' depend.dot