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

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

commit:     219eb0b8f5d279c28b38298e3229a9b59c5e786d
Author:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Fri Jun 25 06:44:45 2021 +0000
Commit:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Fri Jun 25 06:44:45 2021 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=219eb0b8

dev-ada/gnatcoll-core: change doc path to /usr/share/gnatdoc

Closes: https://bugs.gentoo.org/797640
Package-Manager: Portage-3.0.18, Repoman-3.0.2
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>

 .../{gnatcoll-core-2021.ebuild => gnatcoll-core-2021-r1.ebuild}         | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/dev-ada/gnatcoll-core/gnatcoll-core-2021.ebuild b/dev-ada/gnatcoll-core/gnatcoll-core-2021-r1.ebuild
similarity index 94%
rename from dev-ada/gnatcoll-core/gnatcoll-core-2021.ebuild
rename to dev-ada/gnatcoll-core/gnatcoll-core-2021-r1.ebuild
index 37e4d267930..4312e1c8404 100644
--- a/dev-ada/gnatcoll-core/gnatcoll-core-2021.ebuild
+++ b/dev-ada/gnatcoll-core/gnatcoll-core-2021-r1.ebuild
@@ -72,4 +72,6 @@ src_install() {
 	fi
 	rm -r "${D}"/usr/share/gpr/manifests || die
 	einstalldocs
+	dodir /usr/share/gnatdoc
+	mv "${D}"/usr/share/doc/gnatcoll "${D}"/usr/share/gnatdoc/ || die
 }