diff options
| author |   Tupone Alfredo <tupone@gentoo.org> | 2017-03-30 21:10:43 +0200 |
|---|---|---|
| committer | Tupone Alfredo <tupone@gentoo.org> | 2017-03-30 21:10:43 +0200 |
| commit | eea7d5c63db98060b8faaef0bca99b13101b3b9e (patch) | |
| tree | 96f6dbb04d47b9bcbc6d60a27b41df76c99e4688 /dev-ada | |
| parent | dev-python/plumbum: cleaning 1.5.0 (diff) | |
| download | gentoo-eea7d5c63db98060b8faaef0bca99b13101b3b9e.tar.gz gentoo-eea7d5c63db98060b8faaef0bca99b13101b3b9e.tar.bz2 gentoo-eea7d5c63db98060b8faaef0bca99b13101b3b9e.zip | |
dev-ada/gprbuild: Fix documentation directories
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Diffstat (limited to 'dev-ada')
| -rw-r--r-- | dev-ada/gprbuild/gprbuild-2016.ebuild | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/dev-ada/gprbuild/gprbuild-2016.ebuild b/dev-ada/gprbuild/gprbuild-2016.ebuild index 2fe32aa1093b..23de5cb3e944 100644 --- a/dev-ada/gprbuild/gprbuild-2016.ebuild +++ b/dev-ada/gprbuild/gprbuild-2016.ebuild @@ -96,6 +96,9 @@ src_install() { emake DESTDIR="${D}" libgpr.install.${kind} fi done + mv "${D}"/usr/share/examples/${PN} "${D}"/usr/share/doc/${PF}/examples || die + mv "${D}"/usr/share/doc/${PN}/* "${D}"/usr/share/doc/${PF} || die + rmdir "${D}"/usr/share/doc/${PN} || die fi einstalldocs } |