Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
path: root/community/python-jedi/PKGBUILD
diff options
context:
space:
mode:
authorAndreas Baumann <mail@andreasbaumann.cc>2022-01-13 11:05:13 +0100
committerAndreas Baumann <mail@andreasbaumann.cc>2022-01-13 11:05:13 +0100
commit1706b11aa02539a5961b158e2ecc4c54c31e50b4 (patch)
treec9d905987d22946dec9a1a4c90bba16b5bc8bf2c /community/python-jedi/PKGBUILD
parentede188da4486a426146041c3cb49731b47f39cdd (diff)
community/python-jedi: hacked away sphinx documentation
Diffstat (limited to 'community/python-jedi/PKGBUILD')
-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
+ '
+)"