From d87262dd706fec50cd150aab3e93883b6337466d Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Sat, 14 Jul 2018 20:56:41 +0100 Subject: gentoo resync : 14.07.2018 --- app-text/rman/files/rman-3.2-gentoo.diff | 19 ------------------- 1 file changed, 19 deletions(-) delete mode 100644 app-text/rman/files/rman-3.2-gentoo.diff (limited to 'app-text/rman/files/rman-3.2-gentoo.diff') diff --git a/app-text/rman/files/rman-3.2-gentoo.diff b/app-text/rman/files/rman-3.2-gentoo.diff deleted file mode 100644 index ece1e3807e66..000000000000 --- a/app-text/rman/files/rman-3.2-gentoo.diff +++ /dev/null @@ -1,19 +0,0 @@ -diff -urN rman-3.2.orig/Makefile rman-3.2/Makefile ---- rman-3.2.orig/Makefile 2003-07-26 12:15:00.000000000 -0700 -+++ rman-3.2/Makefile 2005-07-12 01:01:37.000000000 -0700 -@@ -15,13 +15,8 @@ - # this must be a directory that's in your bin PATH. - # MANDIR holds the man page. - --BINDIR = /opt/local/bin --#BINDIR = /usr/local/bin --#BINDIR = //C/bin --MANDIR = /usr/local/man/man1 --# popular alternative --#BINDIR = /opt/local/bin --#MANDIR = /opt/local/man/man1 -+BINDIR = /usr/bin -+MANDIR = /usr/share/man/man1 - - - ### if you have GNU gcc, use these definitions -- cgit v1.2.3