sci-mathematics/z3: Fix install for USE="python -doc", thanks to Toralf F?rster
authorMark Wright <gienah@gentoo.org>
Mon, 2 Jan 2017 13:48:33 +0000 (00:48 +1100)
committerMark Wright <gienah@gentoo.org>
Mon, 2 Jan 2017 13:48:33 +0000 (00:48 +1100)
commit7949c35cc55beb75a3d9bb6d7c62430ac52d7c81
treea22e4e7fa00617c35ffbb2ce0af8bf0a5543f1d4
parent3ce3e46285ce16ba4472508e937f9a15917d78c2
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
sci-mathematics/z3/z3-4.5.0.ebuild