index : packages | |
Archlinux32 package modifications | gitolite user |
summaryrefslogtreecommitdiff |
author | Erich Eckner <git@eckner.net> | 2023-05-22 20:18:50 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2023-05-22 20:18:50 +0200 |
commit | e74cde76c104df82b120a7b13964cb786da8f565 (patch) | |
tree | 39967e24037929c04aaf79922aa260b437a60a5e /extra/prjtrellis | |
parent | 73e1d3b448cc583ab38cae4d61a26f313fad946b (diff) |
-rw-r--r-- | extra/prjtrellis/PKGBUILD | 18 |
diff --git a/extra/prjtrellis/PKGBUILD b/extra/prjtrellis/PKGBUILD new file mode 100644 index 00000000..a316c167 --- /dev/null +++ b/extra/prjtrellis/PKGBUILD @@ -0,0 +1,18 @@ +# git missing +makedepends+=(git) + +# sphinx themes broken, don't build documentation +eval "$( + declare -f build | \ + sed ' + /make html/d + ' +)" + +eval "$( + declare -f package | \ + sed ' + /docs\/_build/d + /html\/.doctrees/d + ' +)" |