diff options
author | V3n3RiX <venerix@redcorelinux.org> | 2018-07-14 20:56:41 +0100 |
---|---|---|
committer | V3n3RiX <venerix@redcorelinux.org> | 2018-07-14 20:56:41 +0100 |
commit | d87262dd706fec50cd150aab3e93883b6337466d (patch) | |
tree | 246b44c33ad7a57550430b0a60fa0df86a3c9e68 /app-text/rman/files/rman-3.2-gentoo.diff | |
parent | 71bc00c87bba1ce31de0dac6c3b7fd1aee6917fc (diff) |
gentoo resync : 14.07.2018
Diffstat (limited to 'app-text/rman/files/rman-3.2-gentoo.diff')
-rw-r--r-- | app-text/rman/files/rman-3.2-gentoo.diff | 19 |
1 files changed, 0 insertions, 19 deletions
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 |