diff options
Diffstat (limited to 'dev-libs/mpfr')
| -rw-r--r-- | dev-libs/mpfr/mpfr-3.1.3_p4.ebuild | 3 | ||||
| -rw-r--r-- | dev-libs/mpfr/mpfr-3.1.4.ebuild | 3 |
2 files changed, 4 insertions, 2 deletions
diff --git a/dev-libs/mpfr/mpfr-3.1.3_p4.ebuild b/dev-libs/mpfr/mpfr-3.1.3_p4.ebuild index 4c65b8c578d1..6784eb0171f7 100644 --- a/dev-libs/mpfr/mpfr-3.1.3_p4.ebuild +++ b/dev-libs/mpfr/mpfr-3.1.3_p4.ebuild @@ -49,7 +49,8 @@ multilib_src_install_all() { # clean up html/license install pushd "${ED}"/usr/share/doc/${PF} >/dev/null - dohtml *.html && rm COPYING* *.html || die + dohtml *.html + rm COPYING* *.html || die popd >/dev/null } diff --git a/dev-libs/mpfr/mpfr-3.1.4.ebuild b/dev-libs/mpfr/mpfr-3.1.4.ebuild index a832b4410b00..6067024dc290 100644 --- a/dev-libs/mpfr/mpfr-3.1.4.ebuild +++ b/dev-libs/mpfr/mpfr-3.1.4.ebuild @@ -50,6 +50,7 @@ multilib_src_install_all() { # clean up html/license install pushd "${ED}"/usr/share/doc/${PF} >/dev/null - dohtml *.html && rm COPYING* *.html || die + dohtml *.html + rm COPYING* *.html || die popd >/dev/null } |