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.

Signed-off-by: Peter Lemenkov <lemenkov@gmail.com>

diff --git a/erts/etc/common/Makefile.in b/erts/etc/common/Makefile.in

index 8e55fa7..9512faa 100644

--- a/erts/etc/common/Makefile.in

+++ b/erts/etc/common/Makefile.in

@@ -551,10 +551,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"

diff --git a/erts/etc/unix/Install.src b/erts/etc/unix/Install.src

index 6634ae3..fa18956 100644

--- a/erts/etc/unix/Install.src

+++ b/erts/etc/unix/Install.src

@@ -141,14 +141,5 @@ cp -p ../releases/%I_SYSTEM_VSN%/start_*.boot .

 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