diff options
author | Lars Thorsen <lars@erlang.org> | 2012-09-20 16:33:14 +0200 |
---|---|---|
committer | Lars Thorsen <lars@erlang.org> | 2012-11-16 12:04:37 +0100 |
commit | f0197373229b7ef72ef808476bfcb65eebfd1b82 (patch) | |
tree | 32e136058ec3ae60473c0f64dff5845722343e17 /make | |
parent | 1ed373b9ef39f70c1135a53fe7f715944b8abc23 (diff) | |
download | erlang-f0197373229b7ef72ef808476bfcb65eebfd1b82.tar.gz |
[erl_docgen] Add possibility to specify pdf filename
Diffstat (limited to 'make')
-rw-r--r-- | make/otp_release_targets.mk | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/make/otp_release_targets.mk b/make/otp_release_targets.mk index f0cbee8fc2..79ce6883c8 100644 --- a/make/otp_release_targets.mk +++ b/make/otp_release_targets.mk @@ -45,6 +45,7 @@ $(HTMLDIR)/index.html: $(XML_FILES) $(SPECS_FILES) --stringparam stylesheet "$(CSS_FILE)" \ --stringparam winprefix "$(WINPREFIX)" \ --stringparam logo "$(HTMLLOGO_FILE)" \ + --stringparam pdfname "$(PDFNAME)" \ -path $(DOCGEN)/priv/dtd \ -path $(DOCGEN)/priv/dtd_html_entities \ $(DOCGEN)/priv/xsl/db_html.xsl book.xml |