diff options
Diffstat (limited to 'system/doc/efficiency_guide/Makefile')
-rw-r--r-- | system/doc/efficiency_guide/Makefile | 14 |
1 files changed, 6 insertions, 8 deletions
diff --git a/system/doc/efficiency_guide/Makefile b/system/doc/efficiency_guide/Makefile index a2742a1354..285f8aad4b 100644 --- a/system/doc/efficiency_guide/Makefile +++ b/system/doc/efficiency_guide/Makefile @@ -88,7 +88,9 @@ DVIPS_FLAGS += # Targets # ---------------------------------------------------- -docs: html +DOC_TARGETS?=html + +docs: $(DOC_TARGETS) local_docs: PDFDIR=../../pdf @@ -107,15 +109,11 @@ clean clean_docs: # ---------------------------------------------------- include $(ERL_TOP)/make/otp_release_targets.mk -release_docs_spec: docs -# $(INSTALL_DIR) "$(RELEASE_PATH)/pdf" -# $(INSTALL_DATA) $(TOP_PDF_FILE) "$(RELEASE_PATH)/pdf" - $(INSTALL_DIR) $(RELSYSDIR) +release_html_spec: html + $(INSTALL_DIR) "$(RELSYSDIR)" $(INSTALL_DATA) $(GIF_FILES) $(EXTRA_FILES) $(HTMLDIR)/*.html \ $(RELSYSDIR) +release_docs_spec: $(DOC_TARGETS:%=release_%_spec) release_spec: - - - |