diff options
Diffstat (limited to 'bindings/ocaml/backends/Makefile')
| -rw-r--r-- | bindings/ocaml/backends/Makefile | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/bindings/ocaml/backends/Makefile b/bindings/ocaml/backends/Makefile index 7698d6e028..ff39212c50 100644 --- a/bindings/ocaml/backends/Makefile +++ b/bindings/ocaml/backends/Makefile @@ -53,4 +53,9 @@ uninstall-backends: stubs $(MAKE) -f Makefile.$$i uninstall; \ done -.PHONY: all-backends clean-backends install-backends uninstall-backends +ocamldoc: stubs + $(Verb) for i in $(TARGETS_TO_BUILD); do \ + $(MAKE) -f Makefile.$$i ocamldoc; \ + done + +.PHONY: all-backends clean-backends install-backends uninstall-backends ocamldoc |