diff options
Diffstat (limited to 'system/doc/system_principles/Makefile')
-rw-r--r-- | system/doc/system_principles/Makefile | 15 |
1 files changed, 8 insertions, 7 deletions
diff --git a/system/doc/system_principles/Makefile b/system/doc/system_principles/Makefile index 5110b73373..44009b674f 100644 --- a/system/doc/system_principles/Makefile +++ b/system/doc/system_principles/Makefile @@ -71,7 +71,9 @@ DVIPS_FLAGS += # Targets # ---------------------------------------------------- -docs: html +DOC_TARGETS?=html + +docs: $(DOC_TARGETS) local_docs: PDFDIR=../../pdf @@ -90,12 +92,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) - $(INSTALL_DATA) $(GIF_FILES) $(HTMLDIR)/*.html \ +release_html_spec: html + $(INSTALL_DIR) "$(RELSYSDIR)" + $(INSTALL_DATA) $(GIF_FILES) $(EXTRA_FILES) $(HTMLDIR)/*.html \ $(RELSYSDIR) -release_spec: +release_docs_spec: $(DOC_TARGETS:%=release_%_spec) +release_spec: |