From e74cde76c104df82b120a7b13964cb786da8f565 Mon Sep 17 00:00:00 2001 From: Erich Eckner Date: Mon, 22 May 2023 20:18:50 +0200 Subject: community -> extra --- community/prjtrellis/PKGBUILD | 18 ------------------ 1 file changed, 18 deletions(-) delete mode 100644 community/prjtrellis/PKGBUILD (limited to 'community/prjtrellis') diff --git a/community/prjtrellis/PKGBUILD b/community/prjtrellis/PKGBUILD deleted file mode 100644 index a316c167..00000000 --- a/community/prjtrellis/PKGBUILD +++ /dev/null @@ -1,18 +0,0 @@ -# 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 - ' -)" -- cgit v1.2.3-54-g00ecf