diff options
| author | Peter Lemenkov <peter@fedoraproject.org> | 2010-06-23 07:42:20 +0000 |
|---|---|---|
| committer | Peter Lemenkov <peter@fedoraproject.org> | 2010-06-23 07:42:20 +0000 |
| commit | 96952bd1ed3128c2b0cafc28e28432c5f17d3f85 (patch) | |
| tree | 50882b91c77d1acf75132db898e6e2d04d7dbf77 /otp-0001-Do-not-format-man-pages.patch | |
| parent | aaa400a108ff5cd07b3dbe031ee13b4fcd568405 (diff) | |
| download | erlang-96952bd1ed3128c2b0cafc28e28432c5f17d3f85.tar.gz erlang-96952bd1ed3128c2b0cafc28e28432c5f17d3f85.tar.xz erlang-96952bd1ed3128c2b0cafc28e28432c5f17d3f85.zip | |
Ver. R14A
Diffstat (limited to 'otp-0001-Do-not-format-man-pages.patch')
| -rw-r--r-- | otp-0001-Do-not-format-man-pages.patch | 32 |
1 files changed, 0 insertions, 32 deletions
diff --git a/otp-0001-Do-not-format-man-pages.patch b/otp-0001-Do-not-format-man-pages.patch deleted file mode 100644 index 632408b..0000000 --- a/otp-0001-Do-not-format-man-pages.patch +++ /dev/null @@ -1,32 +0,0 @@ -From 80fd602b5cd9f4aaa7b6bd95e174708e27601db5 Mon Sep 17 00:00:00 2001 -From: Peter Lemenkov <lemenkov@gmail.com> -Date: Thu, 25 Feb 2010 16:45:28 +0300 -Subject: [PATCH 1/7] Do not format man-pages - -Signed-off-by: Peter Lemenkov <lemenkov@gmail.com> ---- - erts/etc/unix/Install.src | 10 ---------- - 1 files changed, 0 insertions(+), 10 deletions(-) - -diff --git a/erts/etc/unix/Install.src b/erts/etc/unix/Install.src -index 83f9690..d26137d 100644 ---- a/erts/etc/unix/Install.src -+++ b/erts/etc/unix/Install.src -@@ -139,14 +139,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 --- -1.6.6.1 - |