File erlang-not-install-misc.patch of Package erlang.32135

Overview Repositories Revisions Requests Users Attributes Meta

File erlang-not-install-misc.patch of Package erlang.32135

From: Peter Lemenkov <lemenkov@gmail.com>
Date: Thu, 25 Feb 2010 16:45:28 +0300
Subject: [PATCH] Do not format man-pages and do not install miscellaneous
 utilities for dealing with man-pages.

---
 erts/etc/common/Makefile.in |    4 ----
 erts/etc/unix/Install.src   |    9 ---------
 2 files changed, 13 deletions(-)

--- a/erts/etc/common/Makefile.in
+++ b/erts/etc/common/Makefile.in
@@ -504,10 +504,6 @@ endif
 ifneq ($(INSTALL_TOP_BIN),)
 	$(INSTALL_PROGRAM) $(INSTALL_TOP_BIN) "$(RELEASE_PATH)"
 endif
-ifneq ($(INSTALL_MISC),)
-	$(INSTALL_DIR) "$(RELEASE_PATH)/misc"
-	$(INSTALL_SCRIPT) $(INSTALL_MISC) "$(RELEASE_PATH)/misc"
-endif
 ifneq ($(INSTALL_SRC),)
 	$(INSTALL_DIR) "$(RELEASE_PATH)/erts-$(VSN)/src"
 	$(INSTALL_DATA) $(INSTALL_SRC) "$(RELEASE_PATH)/erts-$(VSN)/src"
--- a/erts/etc/unix/Install.src
+++ b/erts/etc/unix/Install.src
@@ -141,14 +141,5 @@ cp -p ../releases/%I_SYSTEM_VSN%/start_*
 cp -p ../releases/%I_SYSTEM_VSN%/no_dot_erlang.boot .
 cp -p $Name.boot start.boot
 cp -p ../releases/%I_SYSTEM_VSN%/$Name.script start.script
-#
-# Fixing the man pages
-#
-
-if [ -d "$ERL_ROOT/man" ]
-then
-    cd "$ERL_ROOT"
-    ./misc/format_man_pages "$ERL_ROOT"
-fi
 
 exit 0

Places

File erlang-not-install-misc.patch of Package erlang.32135

Places