From: Peter Lemenkov 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 --- 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