diff options
| author | Lars Thorsen <[email protected]> | 2012-09-21 12:02:52 +0200 |
|---|---|---|
| committer | Lars Thorsen <[email protected]> | 2012-11-16 12:04:37 +0100 |
| commit | c91a8e7e4b81eed46d268f1fc3840661c66d5b16 (patch) | |
| tree | 0880c897efb71ee58115952d0fd9211e0a8f0a0e /make | |
| parent | f0197373229b7ef72ef808476bfcb65eebfd1b82 (diff) | |
| download | otp-c91a8e7e4b81eed46d268f1fc3840661c66d5b16.tar.gz otp-c91a8e7e4b81eed46d268f1fc3840661c66d5b16.tar.bz2 otp-c91a8e7e4b81eed46d268f1fc3840661c66d5b16.zip | |
[safs] Add pdfname to the html target for the users guide
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 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 \ |