diff options
Diffstat (limited to 'community/erlang/0001-Do-not-format-man-pages-and-do-not-install-miscellan.patch')
| -rw-r--r-- | community/erlang/0001-Do-not-format-man-pages-and-do-not-install-miscellan.patch | 37 |
1 files changed, 37 insertions, 0 deletions
diff --git a/community/erlang/0001-Do-not-format-man-pages-and-do-not-install-miscellan.patch b/community/erlang/0001-Do-not-format-man-pages-and-do-not-install-miscellan.patch new file mode 100644 index 0000000000..fef4a7ff98 --- /dev/null +++ b/community/erlang/0001-Do-not-format-man-pages-and-do-not-install-miscellan.patch @@ -0,0 +1,37 @@ +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 |