diff options
author | Tom Kelly <ctk21@cl.cam.ac.uk> | 2021-09-30 12:52:16 +0100 |
---|---|---|
committer | Tom Kelly <ctk21@cl.cam.ac.uk> | 2021-09-30 12:52:16 +0100 |
commit | 4be60f6d611d9cc14a91db4668d5eb580e6c4220 (patch) | |
tree | e57b13035eb57fda22854994a2e4bc53450afc20 /api_docgen | |
parent | 5df30ef9ffe61566993026f6b16267b1a8a783c4 (diff) | |
parent | a0f1c397a67232becffe62d2d6b2585b6f3f5746 (diff) | |
download | ocaml-4be60f6d611d9cc14a91db4668d5eb580e6c4220.tar.gz |
Merge commit 'a0f1c397a67232becffe62d2d6b2585b6f3f5746' into parallel_minor_gc_4_13
Diffstat (limited to 'api_docgen')
-rw-r--r-- | api_docgen/Makefile.docfiles | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/api_docgen/Makefile.docfiles b/api_docgen/Makefile.docfiles index d6dc10df29..e403da657a 100644 --- a/api_docgen/Makefile.docfiles +++ b/api_docgen/Makefile.docfiles @@ -34,11 +34,8 @@ thread_MLIS := \ thread.mli event.mli \ threadUnix.mli -STDLIB=$(filter-out stdlib__pervasives, $(STDLIB_MODULES)) - -stdlib_UNPREFIXED=$(STDLIB:stdlib__%=%) libref= \ - $(stdlib_UNPREFIXED) \ + $(filter-out pervasives,$(STDLIB_MODULE_BASENAMES)) \ $(str_MLIS:%.mli=%) \ $(unix_MLIS:%.mli=%) \ $(dynlink_MLIS:%.mli=%) \ |