diff options
| author | Lukas Larsson <lukas@erlang.org> | 2020-12-09 10:06:21 +0100 |
|---|---|---|
| committer | Lukas Larsson <lukas@erlang.org> | 2020-12-09 10:06:21 +0100 |
| commit | 6b1435b92389bb6ce2d2613b66267c3a48abd0d6 (patch) | |
| tree | 8727bdaabec8a20ba3c1fc334c753649f927741f /make | |
| parent | e56f89d89daacd5a4e29b2618355e7f493b21b74 (diff) | |
| parent | 16f2931085970a550df21120601d8b2244afb6e8 (diff) | |
| download | erlang-6b1435b92389bb6ce2d2613b66267c3a48abd0d6.tar.gz | |
Merge branch 'maint'
Diffstat (limited to 'make')
| -rw-r--r-- | make/app_targets.mk | 2 | ||||
| -rw-r--r-- | make/otp_release_targets.mk | 7 |
2 files changed, 7 insertions, 2 deletions
diff --git a/make/app_targets.mk b/make/app_targets.mk index e9aaa4193c..265fb43519 100644 --- a/make/app_targets.mk +++ b/make/app_targets.mk @@ -49,7 +49,7 @@ $(DIA_PLT_DIR): $(DIA_PLT): $(DIA_PLT_DIR) @echo "Building $(APPLICATION) plt file" - @$(ERL_TOP)/bin/dialyzer --build_plt \ + @dialyzer --build_plt \ --output_plt $@ \ --apps $(sort $(DIA_PLT_APPS) $(DIA_DEFAULT_PLT_APPS)) \ --output $(DIA_ANALYSIS) \ diff --git a/make/otp_release_targets.mk b/make/otp_release_targets.mk index fe1f5103ca..a2ba51c9cf 100644 --- a/make/otp_release_targets.mk +++ b/make/otp_release_targets.mk @@ -205,7 +205,12 @@ endif # Standard release target # ---------------------------------------------------- -pdf man chunks html: $(XML_GEN_FILES) $(SPECS_FILES) $(TOP_SPECS_FILE) +ifneq ($(XML_ALL_REF3_FILES),) +man chunks: $(XML_GEN_FILES) $(SPECS_FILES) $(TOP_SPECS_FILE) +else +man chunks: +endif +pdf html: $(XML_GEN_FILES) $(SPECS_FILES) $(TOP_SPECS_FILE) release_man_spec: man release_pdf_spec: pdf release_chunks_spec: chunks |