diff options
author | Peter Lemenkov <peter@fedoraproject.org> | 2010-03-15 09:41:42 +0000 |
---|---|---|
committer | Peter Lemenkov <peter@fedoraproject.org> | 2010-03-15 09:41:42 +0000 |
commit | 9cd95522f8e4159e5bc5eff280381dab0021ee80 (patch) | |
tree | 48e947403a18c6a8326c70dfaeb0b286093f93ac /otp-0001-Do-not-format-man-pages.patch | |
parent | 8109012630ca74867a5b4f6c333458856e9311ee (diff) | |
download | erlang-9cd95522f8e4159e5bc5eff280381dab0021ee80.tar.gz erlang-9cd95522f8e4159e5bc5eff280381dab0021ee80.tar.xz erlang-9cd95522f8e4159e5bc5eff280381dab0021ee80.zip |
Ver. R13B-04
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, 32 insertions, 0 deletions
diff --git a/otp-0001-Do-not-format-man-pages.patch b/otp-0001-Do-not-format-man-pages.patch new file mode 100644 index 0000000..61e089e --- /dev/null +++ b/otp-0001-Do-not-format-man-pages.patch @@ -0,0 +1,32 @@ +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/2] 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.2.5 + |