diff options
| author | Florian Angeletti <florian.angeletti@inria.fr> | 2022-06-07 14:48:53 +0200 |
|---|---|---|
| committer | Florian Angeletti <florian.angeletti@inria.fr> | 2022-06-07 14:51:24 +0200 |
| commit | 05a884aebbdb9a22b02d1a257975da6aa7474837 (patch) | |
| tree | bf30f695cb613c6e614a79c49037a72678c9c645 /api_docgen | |
| parent | 1aaeb19bc15705035b9399d2feb7caef4a76ffcd (diff) | |
| download | ocaml-05a884aebbdb9a22b02d1a257975da6aa7474837.tar.gz | |
api documentation: add Runtime_events library
Diffstat (limited to 'api_docgen')
| -rw-r--r-- | api_docgen/Makefile.docfiles | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/api_docgen/Makefile.docfiles b/api_docgen/Makefile.docfiles index c579c616e3..0c2412b192 100644 --- a/api_docgen/Makefile.docfiles +++ b/api_docgen/Makefile.docfiles @@ -30,7 +30,7 @@ define sort $(shell $(OCAMLDEP) -sort $(1)) endef - +runtime_events_MLIS := runtime_events.mli str_MLIS := str.mli unix_MLIS := unix.mli unixLabels.mli dynlink_MLIS := dynlink.mli @@ -55,6 +55,10 @@ ifneq "$(filter systhreads,$(OTHERLIBRARIES))" "" otherlibref += $(thread_MLIS:%.mli=%) endif +ifneq "$(filter runtime_events,$(OTHERLIBRARIES))" "" +otherlibref += $(runtime_events_MLIS:%.mli=%) +endif + libref_TEXT=Ocaml_operators Format_tutorial libref_C=$(call capitalize,$(libref)) |