From 53ef21bb95e7c637ea0aad27c6c1d85ceaaf6845 Mon Sep 17 00:00:00 2001 From: David P Date: Wed, 14 Mar 2018 23:04:17 -0300 Subject: Removing [pcr] packages available in [community] Excepting arduino, there's a thing about that that I don't remember My hack for discovering these pkgs: pacman -Sl pcr community | gawk '{ print $2 }' | sort | uniq -cd --- pcr/csound-doc/PKGBUILD | 26 -------------------------- 1 file changed, 26 deletions(-) delete mode 100644 pcr/csound-doc/PKGBUILD (limited to 'pcr/csound-doc/PKGBUILD') diff --git a/pcr/csound-doc/PKGBUILD b/pcr/csound-doc/PKGBUILD deleted file mode 100644 index 4cfe4d3d3..000000000 --- a/pcr/csound-doc/PKGBUILD +++ /dev/null @@ -1,26 +0,0 @@ -# Maintainer (AUR): Ainola -# Contributor (AUR): speps -# Contributor (AUR): Bernardo Barros -# Contributor (AUR): Lars Boettcher - -# parabola changes and rationale: -# no changes. - -pkgname=csound-doc -pkgver=6.10.0 -pkgrel=1 -pkgdesc="The Canonical Csound Reference Manual" -url="http://csound.github.io" -arch=('any') -license=('LGPL' 'GPL') -optdepends=('csound') -# This is a hardcoded link because the devs change the naming convention often. -source=("https://github.com/csound/csound/releases/download/6.10.0/Csound6.10.0_manual_html.zip") -sha256sums=('1f3bc78e7826cc32b0fa43f73b60a9f8b2ee09c3c47118bcb9d5e8649b66dbcf') - -package() { - install -d "$pkgdir/usr/share/doc/csound-doc/html" - cp -a "$srcdir"/html/* "$pkgdir/usr/share/doc/csound-doc/html" - - find "$pkgdir" -type f -exec chmod 644 {} \; -} -- cgit v1.2.3