diff options
author | David Allsopp <david.allsopp@metastack.com> | 2021-02-10 10:03:56 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-02-10 10:03:56 +0000 |
commit | a0f1c397a67232becffe62d2d6b2585b6f3f5746 (patch) | |
tree | e6f9ef3947517b402532c6c86fda85aa9a59aba3 /api_docgen | |
parent | 3d083eedf9eb1de107b2790c794e883c9ac7554d (diff) | |
parent | 53ba02454d5f7e05ee791ce32b732362e70c9823 (diff) | |
download | ocaml-a0f1c397a67232becffe62d2d6b2585b6f3f5746.tar.gz |
Merge pull request #10169 from dra27/stdlib-file-casing
Change the Standard Library prefixing to match Dune's
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 b2cbe7e2cd..da19048f2f 100644 --- a/api_docgen/Makefile.docfiles +++ b/api_docgen/Makefile.docfiles @@ -34,11 +34,8 @@ thread_MLIS := \ thread.mli condition.mli mutex.mli event.mli \ threadUnix.mli semaphore.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=%) \ |