diff options
| -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 } |