[gentoo-commits] repo/gentoo:master commit in: dev-ada/gnatcoll/

["Alfredo Tupone" <tupone@gentoo.org>]

commit:     f1b8e83eeff8e4f369f87f5fc86b3bf75525ba81
Author:     Tupone Alfredo <tupone <AT> gentoo <DOT> org>
AuthorDate: Wed Apr  5 20:12:12 2017 +0000
Commit:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Wed Apr  5 20:12:12 2017 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=f1b8e83e

dev-ada/gnatcoll: Fix documentation and skip test

Package-Manager: Portage-2.3.3, Repoman-2.3.1

 dev-ada/gnatcoll/gnatcoll-2016.ebuild | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/dev-ada/gnatcoll/gnatcoll-2016.ebuild b/dev-ada/gnatcoll/gnatcoll-2016.ebuild
index 671fcafa583..3f8a8fb505a 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
 }