33 lines
817 B
Diff
33 lines
817 B
Diff
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
|
|
|