index : packages | |
Archlinux32 package modifications | gitolite user |
summaryrefslogtreecommitdiff |
-rw-r--r-- | community/python-jedi/PKGBUILD | 15 |
diff --git a/community/python-jedi/PKGBUILD b/community/python-jedi/PKGBUILD index e69de29b..ff062da3 100644 --- a/community/python-jedi/PKGBUILD +++ b/community/python-jedi/PKGBUILD @@ -0,0 +1,15 @@ +# no python-sphinx_rtd_theme, needs nodejs which is currently broken +makedepends=(${makedepends[@]//python-sphinx_rtd_theme/}) +makedepends=(${makedepends[@]//python-sphinx/}) +eval "$( + declare -f build | \ + sed ' + /sphinx-build/d + ' +)" +eval "$( + declare -f package | \ + sed ' + /install.*docs\/_build.*/d + ' +)" |