blob: 5f9594f29d3e4851c64ab3ec956fb6f901212958 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
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/9] 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
|
