projects
/
gentoo.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
43bd3a4
)
dev-ada/gnatcoll: Fix documentation and skip test
author
Tupone Alfredo
<tupone@gentoo.org>
Wed, 5 Apr 2017 20:12:12 +0000
(22:12 +0200)
committer
Tupone Alfredo
<tupone@gentoo.org>
Wed, 5 Apr 2017 20:12:12 +0000
(22:12 +0200)
Package-Manager: Portage-2.3.3, Repoman-2.3.1
dev-ada/gnatcoll/gnatcoll-2016.ebuild
patch
|
blob
|
history
diff --git
a/dev-ada/gnatcoll/gnatcoll-2016.ebuild
b/dev-ada/gnatcoll/gnatcoll-2016.ebuild
index 671fcafa583af3450c85db6211bc4a9c550c04a1..3f8a8fb505a4d6d4a6230637e5790aee98b77def 100644
(file)
--- 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
}