diff options
Diffstat (limited to 'unmaintained/erlang17/otp-0001-Do-not-format-man-pages-and-do-not-install-miscellan.patch')
| -rw-r--r-- | unmaintained/erlang17/otp-0001-Do-not-format-man-pages-and-do-not-install-miscellan.patch | 41 |
1 files changed, 0 insertions, 41 deletions
diff --git a/unmaintained/erlang17/otp-0001-Do-not-format-man-pages-and-do-not-install-miscellan.patch b/unmaintained/erlang17/otp-0001-Do-not-format-man-pages-and-do-not-install-miscellan.patch deleted file mode 100644 index 6aeadc8a4db..00000000000 --- a/unmaintained/erlang17/otp-0001-Do-not-format-man-pages-and-do-not-install-miscellan.patch +++ /dev/null @@ -1,41 +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> - -diff --git a/erts/etc/common/Makefile.in b/erts/etc/common/Makefile.in -index 0cf965f..94e82a8 100644 ---- a/erts/etc/common/Makefile.in -+++ b/erts/etc/common/Makefile.in -@@ -550,10 +550,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_SRC),) - $(INSTALL_DIR) "$(RELEASE_PATH)/erts-$(VSN)/src" - $(INSTALL_DATA) $(INSTALL_SRC) "$(RELEASE_PATH)/erts-$(VSN)/src" -diff --git a/erts/etc/unix/Install.src b/erts/etc/unix/Install.src -index 8eb1db7..9e340bb 100644 ---- a/erts/etc/unix/Install.src -+++ b/erts/etc/unix/Install.src -@@ -140,14 +140,5 @@ cp -p ../releases/%I_SYSTEM_VSN%/start_*.boot . - 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 |