summaryrefslogtreecommitdiff
blob: 842655491d19f27bb0076c45038e9e33865935c5 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
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/;
 		}