From 327182119486dd8c1a255851244409f6c7c980ed Mon Sep 17 00:00:00 2001 From: David Allsopp Date: Thu, 21 Jan 2021 09:43:31 +0000 Subject: Simplify api_docgen/Makefile.docfiles stdlib/StdlibModules already contains the unprefixed forms of the filenames in $(STDLIB_MODS) --- api_docgen/Makefile.docfiles | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) (limited to 'api_docgen') diff --git a/api_docgen/Makefile.docfiles b/api_docgen/Makefile.docfiles index b2cbe7e2cd..965b4a86b5 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_MODS)) \ $(str_MLIS:%.mli=%) \ $(unix_MLIS:%.mli=%) \ $(dynlink_MLIS:%.mli=%) \ -- cgit v1.2.1 From 9a4e32a1b35886215a7cbb241ab934264a14741a Mon Sep 17 00:00:00 2001 From: David Allsopp Date: Thu, 21 Jan 2021 09:47:51 +0000 Subject: Rename STDLIB_MODS to STDLIB_MODULE_BASENAMES --- api_docgen/Makefile.docfiles | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'api_docgen') diff --git a/api_docgen/Makefile.docfiles b/api_docgen/Makefile.docfiles index 965b4a86b5..da19048f2f 100644 --- a/api_docgen/Makefile.docfiles +++ b/api_docgen/Makefile.docfiles @@ -35,7 +35,7 @@ thread_MLIS := \ threadUnix.mli semaphore.mli libref= \ - $(filter-out pervasives,$(STDLIB_MODS)) \ + $(filter-out pervasives,$(STDLIB_MODULE_BASENAMES)) \ $(str_MLIS:%.mli=%) \ $(unix_MLIS:%.mli=%) \ $(dynlink_MLIS:%.mli=%) \ -- cgit v1.2.1