diff --git a/docs/Makefile b/docs/Makefile index 7f8cffdcc..5485ae43d 100644 --- 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))