aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--make/otp_release_targets.mk1
1 files changed, 1 insertions, 0 deletions
diff --git a/make/otp_release_targets.mk b/make/otp_release_targets.mk
index 79ce6883c8..0be0a2de56 100644
--- a/make/otp_release_targets.mk
+++ b/make/otp_release_targets.mk
@@ -65,6 +65,7 @@ $(HTMLDIR)/users_guide.html: $(XML_FILES)
--stringparam stylesheet "$(CSS_FILE)" \
--stringparam winprefix "$(WINPREFIX)" \
--stringparam logo "$(HTMLLOGO_FILE)" \
+ --stringparam pdfname "$(PDFNAME)" \
--xinclude \
-path $(DOCGEN)/priv/dtd \
-path $(DOCGEN)/priv/dtd_html_entities \