Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAndreas Baumann <mail@andreasbaumann.cc>2021-02-20 12:25:00 +0100
committerAndreas Baumann <mail@andreasbaumann.cc>2021-02-20 12:25:00 +0100
commite532b07db17a26409c6c8b1e63a90566f018f83d (patch)
treeae2e54f263d13ba627242825d0fd4d183f98c8ec
parentdedc77bd5b2f88b7c83a7872c99e578554eee364 (diff)
community/prjtrellis: workaround for docu (FS32#160)
-rw-r--r--community/prjtrellis/PKGBUILD18
1 files changed, 18 insertions, 0 deletions
diff --git a/community/prjtrellis/PKGBUILD b/community/prjtrellis/PKGBUILD
new file mode 100644
index 00000000..a316c167
--- /dev/null
+++ b/community/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
+ '
+)"