diff options
| author | Nicolás Ojeda Bär <n.oje.bar@gmail.com> | 2022-07-01 18:03:41 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-07-01 18:03:41 +0200 |
| commit | e3e08db042e1639beb5ec6e1351bdd55f9639da0 (patch) | |
| tree | 89039b538619bd40ea22565c79ac5dab777091bd /ocamldoc | |
| parent | 110c6a3c20a314709142a19b440f8b52115ac4db (diff) | |
| download | ocaml-e3e08db042e1639beb5ec6e1351bdd55f9639da0.tar.gz | |
Add META files (#11007)
Diffstat (limited to 'ocamldoc')
| -rw-r--r-- | ocamldoc/META | 4 | ||||
| -rw-r--r-- | ocamldoc/Makefile | 2 |
2 files changed, 5 insertions, 1 deletions
diff --git a/ocamldoc/META b/ocamldoc/META new file mode 100644 index 0000000000..5cb3dd40bd --- /dev/null +++ b/ocamldoc/META @@ -0,0 +1,4 @@ +requires = "compiler-libs" +version = "[distributed with OCaml]" +description = "ocamldoc plugin interface" +directory= "+ocamldoc" diff --git a/ocamldoc/Makefile b/ocamldoc/Makefile index 5f5c9493be..a74aa2dcea 100644 --- a/ocamldoc/Makefile +++ b/ocamldoc/Makefile @@ -220,7 +220,7 @@ install: $(MKDIR) "$(INSTALL_LIBDIR)/ocamldoc" $(INSTALL_PROG) $(OCAMLDOC) "$(INSTALL_BINDIR)" $(INSTALL_DATA) \ - ocamldoc.hva *.cmi $(OCAMLDOC_LIBCMA) \ + ocamldoc.hva *.cmi $(OCAMLDOC_LIBCMA) META \ "$(INSTALL_LIBDIR)/ocamldoc" $(INSTALL_DATA) \ $(OCAMLDOC_LIBCMIS) \ |