diff options
author | Lukas Larsson <lukas@erlang.org> | 2021-09-13 11:46:54 +0200 |
---|---|---|
committer | Lukas Larsson <lukas@erlang.org> | 2021-09-30 13:51:40 +0200 |
commit | 36b82e418d7e53ad8b422d29a733083b8dce22c6 (patch) | |
tree | 241226f409fe6fa09e0ec3c71818105d5261ab37 | |
parent | d796863e069ab8f322802d08a0ada8e8eca2cc88 (diff) | |
download | erlang-36b82e418d7e53ad8b422d29a733083b8dce22c6.tar.gz |
otp: Fix html docs man index to be part of html release
Before this fix the html man index was released as part
of the man page release.
-rw-r--r-- | system/doc/top/Makefile | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/system/doc/top/Makefile b/system/doc/top/Makefile index 3ebee96c08..803f907994 100644 --- a/system/doc/top/Makefile +++ b/system/doc/top/Makefile @@ -260,9 +260,9 @@ $(TOP_PDF_FILE): $(XML_FILES) pdf: $(TOP_PDF_FILE) -html: $(INDEX_FILES) $(JAVASCRIPT) +html: $(INDEX_FILES) $(JAVASCRIPT) $(MAN_INDEX) -man: $(MAN_INDEX) +man: debug opt: @@ -287,10 +287,10 @@ $(RELSYSDIR)/docbuild: $(INSTALL_DIR) $(RELSYSDIR)/docbuild release_man_spec: man $(RELSYSDIR)/docbuild - $(INSTALL_DATA) $(MAN_INDEX) $(RELSYSDIR) - $(INSTALL_DATA) $(MAN_INDEX_SRC) $(MAN_INDEX_SCRIPT) $(RELSYSDIR)/docbuild release_html_spec: html $(RELSYSDIR)/docbuild + $(INSTALL_DATA) $(MAN_INDEX) $(RELSYSDIR) + $(INSTALL_DATA) $(MAN_INDEX_SRC) $(MAN_INDEX_SCRIPT) $(RELSYSDIR)/docbuild $(INSTALL_DIR) $(RELSYSDIR)/js $(INSTALL_DATA) $(JAVASCRIPT) $(RELSYSDIR)/js $(INSTALL_DATA) $(INDEX_FILES) $(RELSYSDIR) |