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/embedded/Makefile | |
| 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/embedded/Makefile')
| -rw-r--r-- | system/doc/embedded/Makefile | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/system/doc/embedded/Makefile b/system/doc/embedded/Makefile index 1604075312..bb95c8370f 100644 --- a/system/doc/embedded/Makefile +++ b/system/doc/embedded/Makefile @@ -76,7 +76,9 @@ DVIPS_FLAGS += # Targets # ---------------------------------------------------- -docs: html +DOC_TARGETS?=html + +docs: $(DOC_TARGETS) local_docs: PDFDIR=../../pdf @@ -95,13 +97,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: |