diff options
author | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2022-06-16 17:09:53 +0200 |
---|---|---|
committer | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2022-06-30 18:30:19 +0200 |
commit | 472c8108af002104680f0044123e5cc2c1f5e3bb (patch) | |
tree | a87e8a6a0dbde8605914408bb7da90a3cf88a051 /ocamldoc/Makefile | |
parent | 10416c56dfd04e9817481fc1a81fbae84723b8b2 (diff) | |
download | ocaml-472c8108af002104680f0044123e5cc2c1f5e3bb.tar.gz |
Provide an interface for ocamldoc's odoc_todo module
Diffstat (limited to 'ocamldoc/Makefile')
-rw-r--r-- | ocamldoc/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/ocamldoc/Makefile b/ocamldoc/Makefile index bc05c87e44..65484a3c09 100644 --- a/ocamldoc/Makefile +++ b/ocamldoc/Makefile @@ -56,7 +56,7 @@ endif INCLUDE_DIRS = $(addprefix $(ROOTDIR)/,\ - utils parsing typing driver bytecomp toplevel) + utils parsing typing driver bytecomp toplevel) generators INCLUDES_DEP = $(addprefix -I ,$(INCLUDE_DIRS)) INCLUDES_NODEP = $(addprefix -I $(ROOTDIR)/,\ compilerlibs otherlibs/str otherlibs/dynlink \ @@ -343,6 +343,6 @@ distclean: clean .PHONY: depend depend: $(DEPEND_PREREQS) $(OCAMLDEP_CMD) *.mll *.mly *.ml *.mli > .depend - $(OCAMLDEP_CMD) -shared generators/*.ml >> .depend + $(OCAMLDEP_CMD) -shared generators/*.ml generators/*.mli >> .depend include .depend |