Signed-off-by: Tim Harder <radhermit@gentoo.org>
-# Copyright 1999-2018 Gentoo Authors
+# Copyright 1999-2019 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=7
if use doc ; then
pushd "${WORKDIR}/${PN}-${PV%_*}" >/dev/null
+ dodoc Doc/zsh.{dvi,pdf}
docinto html
dodoc Doc/*.html
- insinto /usr/share/doc/${PF}
- doins Doc/zsh.{dvi,pdf}
popd >/dev/null
fi
if use doc ; then
pushd "${WORKDIR}/${PN}-${PV%_*}" >/dev/null
+ dodoc Doc/zsh.{dvi,pdf}
docinto html
dodoc Doc/*.html
- insinto /usr/share/doc/${PF}
- doins Doc/zsh.{dvi,pdf}
popd >/dev/null
fi
if use doc ; then
pushd "${WORKDIR}/${PN}-${PV%_*}" >/dev/null
+ dodoc Doc/zsh.{dvi,pdf}
docinto html
dodoc Doc/*.html
- insinto /usr/share/doc/${PF}
- doins Doc/zsh.{dvi,pdf}
popd >/dev/null
fi