diff options
| author | Omar Vega Ramos <ovruni@gnu.org.pe> | 2018-08-20 22:48:07 -0500 |
|---|---|---|
| committer | Omar Vega Ramos <ovruni@gnu.org.pe> | 2018-08-20 22:48:07 -0500 |
| commit | b4b9cf48a9ebef33d696428f788f9c46ce8e9568 (patch) | |
| tree | e273b6f93fd61a04ca518de8a8cd16b0b822cc48 | |
| parent | 68f4a6b6f39e4e6232767730eb1289618650e420 (diff) | |
| download | abslibre-b4b9cf48a9ebef33d696428f788f9c46ce8e9568.tar.gz abslibre-b4b9cf48a9ebef33d696428f788f9c46ce8e9568.tar.bz2 abslibre-b4b9cf48a9ebef33d696428f788f9c46ce8e9568.zip | |
Removing wdiff: This package is in [community] repo
| -rw-r--r-- | pcr/wdiff/PKGBUILD | 26 | ||||
| -rw-r--r-- | pcr/wdiff/wdiff.install | 13 |
2 files changed, 0 insertions, 39 deletions
diff --git a/pcr/wdiff/PKGBUILD b/pcr/wdiff/PKGBUILD deleted file mode 100644 index 6b6bc4af6..000000000 --- a/pcr/wdiff/PKGBUILD +++ /dev/null @@ -1,26 +0,0 @@ -# Maintainer (Arch): speps <speps at aur dot archlinux dot org> -# Contributor (Arch): TDY <tdy@gmx.com> -# Maintainer: Omar Vega Ramos <ovruni@gnu.org.pe> - -pkgname=wdiff -pkgver=1.2.2 -pkgrel=1.1 -pkgdesc="A wordwise implementation of GNU diff" -arch=('i686' 'x86_64') -url="http://www.gnu.org/software/$pkgname/" -license=('GPL3') -depends=('ncurses') -install="$pkgname.install" -source=("http://ftp.gnu.org/gnu/$pkgname/$pkgname-$pkgver.tar.gz") -md5sums=('1c6ddd1f3106139ff9fe00e934df715f') - -build() { - cd $pkgname-$pkgver - ./configure --prefix=/usr - make -} - -package() { - cd $pkgname-$pkgver - make DESTDIR="$pkgdir" install -} diff --git a/pcr/wdiff/wdiff.install b/pcr/wdiff/wdiff.install deleted file mode 100644 index 40c5b92fc..000000000 --- a/pcr/wdiff/wdiff.install +++ /dev/null @@ -1,13 +0,0 @@ -infodir=/usr/share/info - -post_install() { - install-info $infodir/wdiff.info $infodir/dir 2> /dev/null -} - -post_upgrade() { - post_install $1 -} - -pre_remove() { - install-info --delete $infodir/wdiff.info $infodir/dir 2> /dev/null -} |