Gentoo Archives: gentoo-commits

From: Alfredo Tupone <tupone@g.o>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] repo/gentoo:master commit in: dev-ada/gprbuild/
Date: Thu, 30 Mar 2017 19:11:09
Message-Id: 1490901043.eea7d5c63db98060b8faaef0bca99b13101b3b9e.tupone@gentoo
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 }