diff options
author | Pierre Beyssac <pb@FreeBSD.org> | 2001-01-23 20:50:38 +0000 |
---|---|---|
committer | Pierre Beyssac <pb@FreeBSD.org> | 2001-01-23 20:50:38 +0000 |
commit | 2921f400fbb97d02bdddd6d6fd00493d9b98a775 (patch) | |
tree | d1d56d1301f94d4c73cfc46ef6cc69fe6f632c71 /lang/erlang14/files/patch-aa | |
parent | o change master site. (diff) |
Update port to erlang 7.1.0.
Change maintainer (agreed to by previous maintainer).
PR: ports/24456
Submitted by: sam@inf.enst.fr
Notes
Notes:
svn path=/head/; revision=37506
Diffstat (limited to 'lang/erlang14/files/patch-aa')
-rw-r--r-- | lang/erlang14/files/patch-aa | 26 |
1 files changed, 0 insertions, 26 deletions
diff --git a/lang/erlang14/files/patch-aa b/lang/erlang14/files/patch-aa deleted file mode 100644 index cd1261f30743..000000000000 --- a/lang/erlang14/files/patch-aa +++ /dev/null @@ -1,26 +0,0 @@ -*** erts/etc/unix/Install.src.ORIG Tue Nov 23 16:05:11 1999 ---- erts/etc/unix/Install.src Thu Dec 30 16:39:15 1999 -*************** -*** 165,174 **** - # Fixing the man pages - # - -! if [ -d $ERL_ROOT/man ] -! then -! cd $ERL_ROOT -! ./misc/format_man_pages $ERL_ROOT -! fi -! - ---- 165,175 ---- - # Fixing the man pages - # - -! # This is not needed! -! # if [ -d $ERL_ROOT/man ] -! # then -! # cd $ERL_ROOT -! # ./misc/format_man_pages $ERL_ROOT -! # fi - -+ exit 0 |