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>

--- otp_src_18.0-orig/erts/etc/common/Makefile.in
+++ otp_src_18.0-fixed/erts/etc/common/Makefile.in
@@ -551,10 +551,6 @@
 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"
--- otp_src_18.0-orig/erts/etc/unix/Install.src
+++ otp_src_18.0-fixed/erts/etc/unix/Install.src
@@ -141,14 +141,5 @@
 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