diff options
| -rw-r--r-- | sci-mathematics/z3/z3-4.5.0.ebuild | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/sci-mathematics/z3/z3-4.5.0.ebuild b/sci-mathematics/z3/z3-4.5.0.ebuild index 58d2b6b6832c..b8f03354bdc2 100644 --- 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() { |