gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-08-06 00:48:18 -07:00
Code Issues Projects Releases Wiki Activity

dev-ada/gprbuild: Fix documentation directories

Browse Source 
Package-Manager: Portage-2.3.3, Repoman-2.3.1
This commit is contained in:
Tupone Alfredo
2017-03-30 21:10:43 +02:00
parent 30ede98ba0
commit eea7d5c63d
1 changed files with 3 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
dev-ada/gprbuild/gprbuild-2016.ebuild
View File

@@ -96,6 +96,9 @@ src_install() {
emake DESTDIR="${D}" libgpr.install.${kind}
fi
done
mv "${D}"/usr/share/examples/${PN} "${D}"/usr/share/doc/${PF}/examples || die
mv "${D}"/usr/share/doc/${PN}/* "${D}"/usr/share/doc/${PF} || die
rmdir "${D}"/usr/share/doc/${PN} || die
fi
einstalldocs
}