diff options
| author | Damien Doligez <damien.doligez@inria.fr> | 2023-04-17 11:36:32 +0200 |
|---|---|---|
| committer | Damien Doligez <damien.doligez@inria.fr> | 2023-04-17 11:36:32 +0200 |
| commit | 5c0fb8e23865fdbf151bdbe15d91176903c284d3 (patch) | |
| tree | 94638acfab5bc6563b021f6b816ece440e6ccf09 | |
| parent | 6d0c55164fb7e1470826dafa1c5441b0b232625c (diff) | |
| download | ocaml-5c0fb8e23865fdbf151bdbe15d91176903c284d3.tar.gz | |
suppress spurious alert when compiling stdlib documentation
| -rw-r--r-- | api_docgen/ocamldoc/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/api_docgen/ocamldoc/Makefile b/api_docgen/ocamldoc/Makefile index 1d3ba9a4bb..8d25c0b944 100644 --- a/api_docgen/ocamldoc/Makefile +++ b/api_docgen/ocamldoc/Makefile @@ -44,7 +44,7 @@ $(libref:%=build/libref/%.odoc): build/libref/%.odoc: %.mli | build/libref $(V_OCAMLDOC)$(OCAMLDOC_RUN) -nostdlib -hide Stdlib -lib Stdlib \ -pp \ "$(AWK) -v ocamldoc=true -f ../../stdlib/expand_module_aliases.awk" \ - $(DOC_STDLIB_INCLUDES) -hide-warnings $< -dump $@ + $(DOC_STDLIB_INCLUDES) -hide-warnings -alert -all $< -dump $@ $(compilerlibref:%=build/compilerlibref/%.odoc):\ build/compilerlibref/%.odoc: %.mli | build/compilerlibref |