From cdea2f67ae42d4220e19a555259b69a960925283 Mon Sep 17 00:00:00 2001
From: davidovski <david@davidovski.xyz>
Date: Tue, 5 Oct 2021 16:35:17 +0100
Subject: renamed

---
 psibuilds/dejagnu.psibuild | 23 -----------------------
 1 file changed, 23 deletions(-)
 delete mode 100644 psibuilds/dejagnu.psibuild

(limited to 'psibuilds/dejagnu.psibuild')

diff --git a/psibuilds/dejagnu.psibuild b/psibuilds/dejagnu.psibuild
deleted file mode 100644
index ee09ef3..0000000
--- a/psibuilds/dejagnu.psibuild
+++ /dev/null
@@ -1,23 +0,0 @@
-#!/bin/bash
-
-DEPS=(sh expect)
-
-SOURCE=git://git.sv.gnu.org/dejagnu.git
-
-
-build () {
-    mkdir -v build
-    cd  build
-    
-    ../configure --prefix=/usr 
-
-    makeinfo --html --no-split -o doc/dejagnu.html ../doc/dejagnu.texi
-    makeinfo --plaintext -o doc/dejagnu.txt ../doc/dejagnu.texi
-
-    make DESTDIR=$PKG_DEST install
-
-    install -v -dm755 $PKG_DEST/usr/share/doc/dejagnu-1.6.3
-    install -v -m644 doc/dejagnu.{html,txt} $PKG_DEST/usr/share/doc/dejagnu-1.6.3
-}
-
-
-- 
cgit v1.2.1