diff options
| author | Andreas Baumann <mail@andreasbaumann.cc> | 2022-01-13 11:05:13 +0100 |
|---|---|---|
| committer | Andreas Baumann <mail@andreasbaumann.cc> | 2022-01-13 11:05:13 +0100 |
| commit | 1706b11aa02539a5961b158e2ecc4c54c31e50b4 (patch) | |
| tree | c9d905987d22946dec9a1a4c90bba16b5bc8bf2c /community/python-jedi | |
| parent | ede188da4486a426146041c3cb49731b47f39cdd (diff) | |
| download | packages-1706b11aa02539a5961b158e2ecc4c54c31e50b4.tar.xz | |
community/python-jedi: hacked away sphinx documentation
Diffstat (limited to 'community/python-jedi')
| -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 + ' +)" |