diff options
Diffstat (limited to 'lang/pike75/files/patch-install.pike')
| -rw-r--r-- | lang/pike75/files/patch-install.pike | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/lang/pike75/files/patch-install.pike b/lang/pike75/files/patch-install.pike new file mode 100644 index 000000000000..b83725f302ad --- /dev/null +++ b/lang/pike75/files/patch-install.pike @@ -0,0 +1,11 @@ +--- ../bin/install.pike.orig Sat Feb 21 03:14:53 2004 ++++ ../bin/install.pike Sat Feb 21 03:12:41 2004 +@@ -1380,7 +1380,7 @@ + + 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); + } + }; + |