diff options
| author | Tupone Alfredo <tupone@gentoo.org> | 2017-04-05 22:12:12 +0200 |
|---|---|---|
| committer | Tupone Alfredo <tupone@gentoo.org> | 2017-04-05 22:12:12 +0200 |
| commit | f1b8e83eeff8e4f369f87f5fc86b3bf75525ba81 (patch) | |
| tree | c167976d89f5c0db052192488515c10800ee3f89 /dev-ada/gnatcoll | |
| parent | 43bd3a400b6cddb3896d3e59a7870f19d96de66b (diff) | |
| download | gentoo-f1b8e83eeff8e4f369f87f5fc86b3bf75525ba81.tar.gz gentoo-f1b8e83eeff8e4f369f87f5fc86b3bf75525ba81.tar.xz | |
dev-ada/gnatcoll: Fix documentation and skip test
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Diffstat (limited to 'dev-ada/gnatcoll')
| -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 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 } |