summarylogtreecommitdiffstats
path: root/PKGBUILD
diff options
context:
space:
mode:
Diffstat (limited to 'PKGBUILD')
-rw-r--r--PKGBUILD7
1 files changed, 5 insertions, 2 deletions
diff --git a/PKGBUILD b/PKGBUILD
index 5db7b4027199..948d581a04f0 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -4,7 +4,7 @@
pkgname=proofgeneral
pkgver=4.5
-pkgrel=3
+pkgrel=4
pkgdesc='Generic interface for proof assistants.'
arch=('any')
license=('GPL')
@@ -25,5 +25,8 @@ build() {
package() {
cd "$srcdir/PG-${pkgver}"
- make PREFIX=${pkgdir}/usr install
+ for file in $(find . -type f -name '*.el')
+ do
+ install -Dm644 "${file}" "${pkgdir}/usr/share/emacs/site-lisp/${_pkgname}/${file}"
+ done
}