diff options
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 |