From 7bc9c63c9da678a7e6fceb095d56c634afd22c56 Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Sun, 15 Dec 2019 18:09:03 +0000 Subject: gentoo resync : 15.12.2019 --- dev-libs/mpfr/mpfr-3.1.3_p4.ebuild | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'dev-libs/mpfr/mpfr-3.1.3_p4.ebuild') 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 } -- cgit v1.2.3