2010-06-23 07:42:20 +00:00
|
|
|
From: Peter Lemenkov <lemenkov@gmail.com>
|
|
|
|
Date: Thu, 25 Feb 2010 16:45:28 +0300
|
2011-01-31 15:27:55 +00:00
|
|
|
Subject: [PATCH] Do not format man-pages and do not install miscellaneous
|
2010-06-23 07:42:20 +00:00
|
|
|
utilities for dealing with man-pages.
|
|
|
|
|
|
|
|
Signed-off-by: Peter Lemenkov <lemenkov@gmail.com>
|
|
|
|
|
|
|
|
diff --git a/erts/etc/common/Makefile.in b/erts/etc/common/Makefile.in
|
2023-12-13 19:58:41 +00:00
|
|
|
index 42af9c87dc..c017e0a4ed 100644
|
2010-06-23 07:42:20 +00:00
|
|
|
--- a/erts/etc/common/Makefile.in
|
|
|
|
+++ b/erts/etc/common/Makefile.in
|
2023-05-20 15:09:11 +00:00
|
|
|
@@ -552,10 +552,6 @@ endif
|
2010-06-23 07:42:20 +00:00
|
|
|
ifneq ($(INSTALL_TOP_BIN),)
|
2012-09-10 13:47:14 +00:00
|
|
|
$(INSTALL_PROGRAM) $(INSTALL_TOP_BIN) "$(RELEASE_PATH)"
|
2010-06-23 07:42:20 +00:00
|
|
|
endif
|
|
|
|
-ifneq ($(INSTALL_MISC),)
|
2012-09-10 13:47:14 +00:00
|
|
|
- $(INSTALL_DIR) "$(RELEASE_PATH)/misc"
|
|
|
|
- $(INSTALL_SCRIPT) $(INSTALL_MISC) "$(RELEASE_PATH)/misc"
|
2010-06-23 07:42:20 +00:00
|
|
|
-endif
|
2014-08-27 13:38:36 +00:00
|
|
|
ifneq ($(INSTALL_SRC),)
|
|
|
|
$(INSTALL_DIR) "$(RELEASE_PATH)/erts-$(VSN)/src"
|
|
|
|
$(INSTALL_DATA) $(INSTALL_SRC) "$(RELEASE_PATH)/erts-$(VSN)/src"
|
2010-06-23 07:42:20 +00:00
|
|
|
diff --git a/erts/etc/unix/Install.src b/erts/etc/unix/Install.src
|
2022-07-13 18:52:50 +00:00
|
|
|
index b00dd09f1a..2147774f50 100644
|
2010-06-23 07:42:20 +00:00
|
|
|
--- a/erts/etc/unix/Install.src
|
|
|
|
+++ b/erts/etc/unix/Install.src
|
2022-07-13 18:52:50 +00:00
|
|
|
@@ -143,14 +143,5 @@ cp -p ../releases/%I_SYSTEM_VSN%/start_*.boot .
|
2013-12-24 12:34:56 +00:00
|
|
|
cp -p ../releases/%I_SYSTEM_VSN%/no_dot_erlang.boot .
|
2010-06-23 07:42:20 +00:00
|
|
|
cp -p $Name.boot start.boot
|
|
|
|
cp -p ../releases/%I_SYSTEM_VSN%/$Name.script start.script
|
|
|
|
-#
|
|
|
|
-# Fixing the man pages
|
|
|
|
-#
|
|
|
|
-
|
2012-09-10 13:47:14 +00:00
|
|
|
-if [ -d "$ERL_ROOT/man" ]
|
2010-06-23 07:42:20 +00:00
|
|
|
-then
|
2012-09-10 13:47:14 +00:00
|
|
|
- cd "$ERL_ROOT"
|
|
|
|
- ./misc/format_man_pages "$ERL_ROOT"
|
2010-06-23 07:42:20 +00:00
|
|
|
-fi
|
2013-12-24 12:34:56 +00:00
|
|
|
|
2010-06-23 07:42:20 +00:00
|
|
|
exit 0
|