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 /system/doc/top | |
| 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.
Diffstat (limited to 'system/doc/top')
| -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) |