2 files changed, 0 insertions, 47 deletions
diff --git a/extra/dejagnu/PKGBUILD b/extra/dejagnu/PKGBUILD
deleted file mode 100644
index e8e9603e9..000000000
--- a/extra/dejagnu/PKGBUILD
+++ /dev/null
@@ -1,32 +0,0 @@
-# $Id: PKGBUILD 196721 2013-10-17 03:23:06Z allan $
-# Maintainer: Allan McRae <allan@archlinux.org>
-
-pkgname=dejagnu
-pkgver=1.5.1
-pkgrel=1
-pkgdesc="Framework for testing other programs"
-arch=('any')
-url="http://www.gnu.org/software/dejagnu/"
-license=('GPL')
-depends=('sh' 'expect')
-options=('!libtool')
-install=dejagnu.install
-source=(http://ftp.gnu.org/gnu/dejagnu/${pkgname}-${pkgver}.tar.gz{,.sig})
-md5sums=('8386e04e362345f50ad169f052f4c4ab'
-         '59335adf4900b889c64827c5a9426252')
-
-build() {
-  cd $srcdir/$pkgname-$pkgver
-  ./configure --prefix=/usr
-  make
-}
-
-check() {
-  cd $srcdir/$pkgname-$pkgver
-  make check
-}
-
-package() {
-  cd $srcdir/$pkgname-$pkgver
-  make DESTDIR=$pkgdir/ install
-}
diff --git a/extra/dejagnu/dejagnu.install b/extra/dejagnu/dejagnu.install
deleted file mode 100644
index 0e3c430a0..000000000
--- a/extra/dejagnu/dejagnu.install
+++ /dev/null
@@ -1,15 +0,0 @@
-infodir=usr/share/info
-
-post_install() {
-  [ -x usr/bin/install-info ] || return 0
-  install-info $infodir/dejagnu.info.gz $infodir/dir 2> /dev/null
-}
-
-post_upgrade() {
-  post_install $1
-}
-
-pre_remove() {
-  [ -x usr/bin/install-info ] || return 0
-  install-info --delete $infodir/dejagnu.info.gz $infodir/dir 2> /dev/null
-}