From 1706b11aa02539a5961b158e2ecc4c54c31e50b4 Mon Sep 17 00:00:00 2001
From: Andreas Baumann <mail@andreasbaumann.cc>
Date: Thu, 13 Jan 2022 11:05:13 +0100
Subject: community/python-jedi: hacked away sphinx documentation

---
 community/python-jedi/PKGBUILD | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

(limited to 'community')

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
+    '
+)"
-- 
cgit v1.2.3-54-g00ecf