diff options
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 |