diff options
Diffstat (limited to 'lang/pike76/files/patch-install.pike')
| -rw-r--r-- | lang/pike76/files/patch-install.pike | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/lang/pike76/files/patch-install.pike b/lang/pike76/files/patch-install.pike deleted file mode 100644 index 6b191124df74..000000000000 --- a/lang/pike76/files/patch-install.pike +++ /dev/null @@ -1,11 +0,0 @@ ---- bin/install.pike.orig 2007-01-01 01:28:18.000000000 +0100 -+++ bin/install.pike 2011-03-11 10:35:16.000000000 +0100 -@@ -1707,7 +1707,7 @@ void do_install() - - if(file_stat(vars->MANDIR_SRC)) - { -- install_dir(vars->MANDIR_SRC,combine_path(man_prefix,"man1"),0); -+ //install_dir(vars->MANDIR_SRC,combine_path(man_prefix,"man1"),0); - } - }; - |