summaryrefslogtreecommitdiff
path: root/community
diff options
context:
space:
mode:
Diffstat (limited to 'community')
-rw-r--r--community/python-jedi/PKGBUILD15
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
+ '
+)"