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 --- erts/etc/common/Makefile.in | 4 ---- erts/etc/unix/Install.src | 10 ---------- 2 files changed, 14 deletions(-) diff --git a/erts/etc/common/Makefile.in b/erts/etc/common/Makefile.in index 83fe97d..f77b485 100644 --- a/erts/etc/common/Makefile.in +++ b/erts/etc/common/Makefile.in @@ -568,10 +568,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_ERL_OSE),) $(INSTALL_DIR) "$(RELEASE_PATH)/build_erl_ose" cd $(OSEETC) && $(TAR) erl_ose_$(SYSTEM_VSN).tar $(INSTALL_ERL_OSE) diff --git a/erts/etc/unix/Install.src b/erts/etc/unix/Install.src index 2dcd070..0bf82f1 100644 --- a/erts/etc/unix/Install.src +++ b/erts/etc/unix/Install.src @@ -143,14 +143,4 @@ cp -p ../releases/%I_SYSTEM_VSN%/start_*.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