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 }
