fixup! List Lwt_domain files when generating the API doc

ocsigen · Dec 6, 2021 · 60f51a3 · 60f51a3
1 parent 9888475
commit 60f51a3
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/docs/Makefile b/docs/Makefile
@@ -18,6 +18,7 @@ INCS=\
 MLIS=\
 	$(wildcard ${SRC}/core/*.mli) \
 	$(wildcard ${SRC}/ppx/*.mli) \
+	$(wildcard ${SRC}/react/*.mli) \
 	$(wildcard ${SRC}/domain/*.mli) \
 	$(filter-out ${BLD}/unix/lwt_unix.cppo.mli,$(wildcard ${BLD}/unix/*.mli))