1 |
commit: eea7d5c63db98060b8faaef0bca99b13101b3b9e |
2 |
Author: Tupone Alfredo <tupone <AT> gentoo <DOT> org> |
3 |
AuthorDate: Thu Mar 30 19:10:43 2017 +0000 |
4 |
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org> |
5 |
CommitDate: Thu Mar 30 19:10:43 2017 +0000 |
6 |
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=eea7d5c6 |
7 |
|
8 |
dev-ada/gprbuild: Fix documentation directories |
9 |
|
10 |
Package-Manager: Portage-2.3.3, Repoman-2.3.1 |
11 |
|
12 |
dev-ada/gprbuild/gprbuild-2016.ebuild | 3 +++ |
13 |
1 file changed, 3 insertions(+) |
14 |
|
15 |
diff --git a/dev-ada/gprbuild/gprbuild-2016.ebuild b/dev-ada/gprbuild/gprbuild-2016.ebuild |
16 |
index 2fe32aa1093..23de5cb3e94 100644 |
17 |
--- a/dev-ada/gprbuild/gprbuild-2016.ebuild |
18 |
+++ b/dev-ada/gprbuild/gprbuild-2016.ebuild |
19 |
@@ -96,6 +96,9 @@ src_install() { |
20 |
emake DESTDIR="${D}" libgpr.install.${kind} |
21 |
fi |
22 |
done |
23 |
+ mv "${D}"/usr/share/examples/${PN} "${D}"/usr/share/doc/${PF}/examples || die |
24 |
+ mv "${D}"/usr/share/doc/${PN}/* "${D}"/usr/share/doc/${PF} || die |
25 |
+ rmdir "${D}"/usr/share/doc/${PN} || die |
26 |
fi |
27 |
einstalldocs |
28 |
} |