diff options
author | Tom Kelly <ctk21@cl.cam.ac.uk> | 2021-09-29 14:45:32 +0100 |
---|---|---|
committer | Tom Kelly <ctk21@cl.cam.ac.uk> | 2021-09-29 14:45:32 +0100 |
commit | bc80066a00ac921bb72b1a3f288cb157be0f2c27 (patch) | |
tree | db68e81a4fe8db85a22a4c312c280a57ca81916b /api_docgen | |
parent | 44ddc4cd0ff5b798c007798d2f89153a9c636473 (diff) | |
parent | bd42b1431b78f2166ab10c82e1ea32fb5d1dd906 (diff) | |
download | ocaml-bc80066a00ac921bb72b1a3f288cb157be0f2c27.tar.gz |
Merge commit 'bd42b1431b78f2166ab10c82e1ea32fb5d1dd906' into parallel_minor_gc_4_13
Diffstat (limited to 'api_docgen')
-rw-r--r-- | api_docgen/Makefile.docfiles | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/api_docgen/Makefile.docfiles b/api_docgen/Makefile.docfiles index e5c03bd01c..c8c7783cf1 100644 --- a/api_docgen/Makefile.docfiles +++ b/api_docgen/Makefile.docfiles @@ -27,8 +27,8 @@ str_MLIS := str.mli unix_MLIS := unix.mli unixLabels.mli dynlink_MLIS := dynlink.mli thread_MLIS := \ - thread.mli condition.mli mutex.mli event.mli \ - threadUnix.mli semaphore.mli + thread.mli event.mli \ + threadUnix.mli STDLIB=$(filter-out stdlib__pervasives, $(STDLIB_MODULES)) |