Doc: make html does not include dependency libraries

Author: yoshihiro503

Makefile.common

@@ -114,8 +114,10 @@ $(DOCDIR)/dependency_graph.dot: $(DOCDIR)/dependency_graph.pre
 
 html: build $(DOCDIR)/dependency_graph.dot
 	etc/rocqnavi_generate-hierarchy-graph.sh $(DOCDIR)/hierarchy_graph.dot
+	rm -rf $(DOCDIR) # clean doc dir if exists
 	mkdir -p $(DOCDIR)
-	find . -not -path '*/.*' -name "*.v" -or -name "*.glob" | xargs rocqnavi \
+	find . -not \( -path '*/.*' -or -path "**/_opam/**" \) -name "*.v" -or -name "*.glob"
+	find . -not \( -path '*/.*' -or -path "**/_opam/**" \) -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/ \