From 60f51a3180bc1f51b687357b18ae6a5c28051af3 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Rapha=C3=ABl=20Proust?= Date: Mon, 6 Dec 2021 10:48:18 +0100 Subject: [PATCH] fixup! List Lwt_domain files when generating the API doc --- docs/Makefile | 1 + 1 file changed, 1 insertion(+) 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))