diff options
Diffstat (limited to 'app-backup/boxbackup/files/boxbackup-0.11.1-fix-mandir.patch')
| -rw-r--r-- | app-backup/boxbackup/files/boxbackup-0.11.1-fix-mandir.patch | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/app-backup/boxbackup/files/boxbackup-0.11.1-fix-mandir.patch b/app-backup/boxbackup/files/boxbackup-0.11.1-fix-mandir.patch deleted file mode 100644 index 842655491d19..000000000000 --- a/app-backup/boxbackup/files/boxbackup-0.11.1-fix-mandir.patch +++ /dev/null @@ -1,14 +0,0 @@ -Install man pages into /usr/share/man instead of /usr/man. This patch -was provided by a Gentoo user in bug 515422. - ---- a/infrastructure/makeparcels.pl.in 2015-04-30 15:28:26.790570655 +0200 -+++ b/infrastructure/makeparcels.pl.in 2015-04-30 15:35:40.795699542 +0200 -@@ -304,7 +304,7 @@ - if ($type eq 'man') - { - $name =~ /([0-9])$/; -- $dest = "man/man$1"; -+ $dest = "share/man/man$1"; - $name =~ s/$/\.gz/; - } - |