File 0122-otp-Fix-html-docs-man-index-to-be-part-of-... of Package erlang

Overview Repositories Revisions Requests Users Attributes Meta

File 0122-otp-Fix-html-docs-man-index-to-be-part-of-html-relea.patch of Package erlang (Revision bf3a5557316b9c4af47c55d0b2592dd6)

Currently displaying revision bf3a5557316b9c4af47c55d0b2592dd6 , Show latest

From 36b82e418d7e53ad8b422d29a733083b8dce22c6 Mon Sep 17 00:00:00 2001
From: Lukas Larsson <lukas@erlang.org>
Date: Mon, 13 Sep 2021 11:46:54 +0200
Subject: [PATCH 02/12] 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.
---
 system/doc/top/Makefile | 8 ++++----
 1 file 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)
-- 
2.31.1

Places

File 0122-otp-Fix-html-docs-man-index-to-be-part-of-html-relea.patch of Package erlang (Revision bf3a5557316b9c4af47c55d0b2592dd6)

Places