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 deleted file mode 100644 index ff062da3..00000000 --- a/community/python-jedi/PKGBUILD +++ /dev/null @@ -1,15 +0,0 @@ -# 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 - ' -)" |