summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTupone Alfredo <tupone@gentoo.org>2017-04-05 22:12:12 +0200
committerTupone Alfredo <tupone@gentoo.org>2017-04-05 22:12:12 +0200
commitf1b8e83eeff8e4f369f87f5fc86b3bf75525ba81 (patch)
treec167976d89f5c0db052192488515c10800ee3f89 /dev-ada
parentdev-perl/Path-Tiny: Bump to version 0.104.0 (diff)
downloadgentoo-f1b8e83eeff8e4f369f87f5fc86b3bf75525ba81.tar.gz
gentoo-f1b8e83eeff8e4f369f87f5fc86b3bf75525ba81.tar.bz2
gentoo-f1b8e83eeff8e4f369f87f5fc86b3bf75525ba81.zip
dev-ada/gnatcoll: Fix documentation and skip test
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Diffstat (limited to 'dev-ada')
-rw-r--r--dev-ada/gnatcoll/gnatcoll-2016.ebuild7
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
}