diff options
Diffstat (limited to 'community/python-jedi/PKGBUILD')
| -rw-r--r-- | community/python-jedi/PKGBUILD | 15 |
1 files changed, 15 insertions, 0 deletions
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 + ' +)" |