sci-mathematics/z3: Fix install for USE="python -doc", thanks to Toralf F?rster

for reporting.

Gentoo-bug: 604362

Package-Manager: portage-2.3.3

diff --git a/sci-mathematics/z3/z3-4.5.0.ebuild b/sci-mathematics/z3/z3-4.5.0.ebuild
index 58d2b6b6832c9e4e895e7c5b954ca076688d2cb5..b8f03354bdc2d7c94336ef604c2bfa123aef51b5 100644 (file)
--- a/sci-mathematics/z3/z3-4.5.0.ebuild
+++ b/sci-mathematics/z3/z3-4.5.0.ebuild
@@ -85,11 +85,9 @@ src_compile() {
 
        use java && java-pkg-simple_src_compile
 
-       if use doc; then
-               pushd doc || die
-               ${EPYTHON} mk_api_doc.py || die
-               popd || die
-       fi
+       pushd doc || die
+       ${EPYTHON} mk_api_doc.py || die
+       popd || die
 }
 
 src_install() {