diff options
Diffstat (limited to 'system/doc/programming_examples/Makefile')
-rw-r--r-- | system/doc/programming_examples/Makefile | 16 |
1 files changed, 9 insertions, 7 deletions
diff --git a/system/doc/programming_examples/Makefile b/system/doc/programming_examples/Makefile index 9c67c24b64..7c1bdde698 100644 --- a/system/doc/programming_examples/Makefile +++ b/system/doc/programming_examples/Makefile @@ -75,7 +75,10 @@ DVIPS_FLAGS += # Targets # ---------------------------------------------------- -docs: html +DOC_TARGETS?=html + +docs: $(DOC_TARGETS) + local_docs: PDFDIR=../../pdf html: $(GIF_FILES) $(HTML_UG_FILE) @@ -93,12 +96,11 @@ clean clean_docs: # ---------------------------------------------------- include $(ERL_TOP)/make/otp_release_targets.mk -release_docs_spec: docs - $(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: |