diff options
Diffstat (limited to 'patches/tree-2.0.3_pre.local.patch')
-rw-r--r-- | patches/tree-2.0.3_pre.local.patch | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/patches/tree-2.0.3_pre.local.patch b/patches/tree-2.0.3_pre.local.patch deleted file mode 100644 index 349747e7..00000000 --- a/patches/tree-2.0.3_pre.local.patch +++ /dev/null @@ -1,12 +0,0 @@ -diff -ru tree-2.0.3.orig/Makefile tree-2.0.3/Makefile ---- tree-2.0.3.orig/Makefile 2022-08-29 16:06:51.186529283 +0200 -+++ tree-2.0.3/Makefile 2022-08-29 16:07:26.594528175 +0200 -@@ -26,7 +26,7 @@ - DESTDIR=${PREFIX}/bin - MAN=tree.1 - # Probably needs to be ${PREFIX}/share/man for most systems now --MANDIR=${PREFIX}/man -+MANDIR=${DESTDIR}${PREFIX}/man - OBJS=tree.o list.o hash.o color.o file.o filter.o info.o unix.o xml.o json.o html.o strverscmp.o - - # Uncomment options below for your particular OS: |