aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorLars Thorsen <[email protected]>2012-09-21 12:02:52 +0200
committerLars Thorsen <[email protected]>2012-11-16 12:04:37 +0100
commitc91a8e7e4b81eed46d268f1fc3840661c66d5b16 (patch)
tree0880c897efb71ee58115952d0fd9211e0a8f0a0e
parentf0197373229b7ef72ef808476bfcb65eebfd1b82 (diff)
downloadotp-c91a8e7e4b81eed46d268f1fc3840661c66d5b16.tar.gz
otp-c91a8e7e4b81eed46d268f1fc3840661c66d5b16.tar.bz2
otp-c91a8e7e4b81eed46d268f1fc3840661c66d5b16.zip
[safs] Add pdfname to the html target for the users guide
-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 \