diff options
| -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 |