diff options
Diffstat (limited to 'dev-ml/zarith/zarith-1.2.1.ebuild')
| -rw-r--r-- | dev-ml/zarith/zarith-1.2.1.ebuild | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/dev-ml/zarith/zarith-1.2.1.ebuild b/dev-ml/zarith/zarith-1.2.1.ebuild index 1603ad3ba..5657ff8c4 100644 --- a/dev-ml/zarith/zarith-1.2.1.ebuild +++ b/dev-ml/zarith/zarith-1.2.1.ebuild @@ -37,7 +37,9 @@ src_configure(){ src_compile(){ emake || die "emake failed" - use doc && emake doc || die "emake doc failed" + if use doc; then + emake doc || die "emake doc failed" + fi } src_install(){ |