diff options
| author | Lukas Larsson <lukas@erlang.org> | 2020-02-21 10:19:05 +0100 |
|---|---|---|
| committer | Lukas Larsson <lukas@erlang.org> | 2020-02-24 10:02:51 +0100 |
| commit | 48ecc7a66a23be4d3b8bb7976aaae0ba8e72f0e8 (patch) | |
| tree | 666910810e54cc16652603cb1ccf05fa8b4d3601 /system/doc/design_principles | |
| parent | 31c270cc9d696763dfbdf0d4438142e87dbb95ec (diff) | |
| download | erlang-48ecc7a66a23be4d3b8bb7976aaae0ba8e72f0e8.tar.gz | |
Add DOC_TARGETS makefile variable
The variable can be set to pdf, html, man or chunks
and also any combination of the above.
Diffstat (limited to 'system/doc/design_principles')
| -rw-r--r-- | system/doc/design_principles/Makefile | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/system/doc/design_principles/Makefile b/system/doc/design_principles/Makefile index 2fbd7d087f..d781809137 100644 --- a/system/doc/design_principles/Makefile +++ b/system/doc/design_principles/Makefile @@ -95,7 +95,9 @@ $(HTMLDIR)/%.gif: %.gif $(HTMLDIR)/%.svg: %.svg $(INSTALL_DATA) $< $@ -docs: html +DOC_TARGETS?=html + +docs: $(DOC_TARGETS) local_docs: PDFDIR=../../pdf @@ -116,12 +118,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) $(IMAGE_FILES) $(HTMLDIR)/*.html \ +release_html_spec: html + $(INSTALL_DIR) "$(RELSYSDIR)" + $(INSTALL_DATA) $(IMAGE_FILES) $(EXTRA_FILES) $(HTMLDIR)/*.html \ $(RELSYSDIR) +release_docs_spec: $(DOC_TARGETS:%=release_%_spec) release_spec: |