From 47cddf16b3244f5205b70becaf5beda1391e2942 Mon Sep 17 00:00:00 2001
From: affeldt-aist <33154536+affeldt-aist@users.noreply.github.com>
Date: Thu, 29 Jun 2023 12:01:18 +0900
Subject: [PATCH] fix make doc (#959)

---
 Makefile.common | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile.common b/Makefile.common
index 355fc2627..b91ceb5aa 100644
--- a/Makefile.common
+++ b/Makefile.common
@@ -117,7 +117,7 @@ doc: __always__ Makefile.coq
 #	cd _build_doc && grep -v vio: .Makefile.coq.d > depend
 #	cd _build_doc && cat depend | $(MATHCOMP)etc/buildlibgraph $(COQFILES) > htmldoc/depend.js
 	cd _build_doc && $(COQBIN)coqdoc -t "MathComp Analysis" \
-		-g --utf8 -R theories mathcomp.analysis \
+		-g --utf8 -R classical mathcomp.classical -R theories mathcomp.analysis \
 		--parse-comments \
 		--multi-index $(COQFILES) -d htmldoc
 	. $(MATHCOMP)etc/utils/builddoc_lib.sh; \