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, 0 insertions, 37 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 deleted file mode 100644 index fef4a7ff98..0000000000 --- a/community/erlang/0001-Do-not-format-man-pages-and-do-not-install-miscellan.patch +++ /dev/null @@ -1,37 +0,0 @@ -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 |