diff options
Diffstat (limited to 'dev-ada/gnatcoll/gnatcoll-2016.ebuild')
-rw-r--r-- | dev-ada/gnatcoll/gnatcoll-2016.ebuild | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/dev-ada/gnatcoll/gnatcoll-2016.ebuild b/dev-ada/gnatcoll/gnatcoll-2016.ebuild index 671fcafa583a..3f8a8fb505a4 100644 --- a/dev-ada/gnatcoll/gnatcoll-2016.ebuild +++ b/dev-ada/gnatcoll/gnatcoll-2016.ebuild @@ -80,4 +80,11 @@ src_install() { fi emake DESTDIR="${D}" install_gps_plugin einstalldocs + dodoc -r features-* known-problems-* examples + mv "${D}"/usr/share/doc/${PN}/GNATColl.pdf "${D}"/usr/share/doc/${PF}/ + mv "${D}"/usr/share/doc/${PN}/html/html "${D}"/usr/share/doc/${PF}/ +} + +src_test() { + true } |