diff options
Diffstat (limited to 'make')
| -rw-r--r-- | make/otp_release_targets.mk | 8 | ||||
| -rw-r--r-- | make/otp_version_tickets | 3 |
2 files changed, 7 insertions, 4 deletions
diff --git a/make/otp_release_targets.mk b/make/otp_release_targets.mk index a2ba51c9cf..f525368d7a 100644 --- a/make/otp_release_targets.mk +++ b/make/otp_release_targets.mk @@ -187,11 +187,15 @@ local_docs: local_copy_of_topdefs docs local_html: TOPDOCDIR=. local_html: local_copy_of_topdefs html -local_copy_of_topdefs: - $(INSTALL) $(DOCGEN)/priv/css/otp_doc.css $(HTMLDIR) +$(HTMLDIR)/otp_doc.css: + ln -s $(DOCGEN)/priv/css/otp_doc.css $(HTMLDIR)/otp_doc.css + +local_copy_of_topdefs: $(HTMLDIR)/otp_doc.css + cd $(ERL_TOP) && make mod2app $(INSTALL) $(DOCGEN)/priv/images/erlang-logo.png $(HTMLDIR) $(INSTALL) $(DOCGEN)/priv/images/erlang-logo.gif $(HTMLDIR) $(INSTALL_DIR) $(HTMLDIR)/js/flipmenu + $(INSTALL) $(DOCGEN)/priv/js/*.js $(HTMLDIR)/js $(INSTALL) $(DOCGEN)/priv/js/flipmenu/flip_closed.gif \ $(DOCGEN)/priv/js/flipmenu/flip_open.gif \ $(DOCGEN)/priv/js/flipmenu/flip_static.gif \ diff --git a/make/otp_version_tickets b/make/otp_version_tickets index 3c853b9b30..b8220e1a87 100644 --- a/make/otp_version_tickets +++ b/make/otp_version_tickets @@ -1,2 +1 @@ -OTP-17731 -OTP-17732 +DEVELOPMENT |