summarylogtreecommitdiffstats
path: root/PKGBUILD
diff options
context:
space:
mode:
authorwangjiezhe2016-08-05 19:46:07 +0800
committerwangjiezhe2016-08-05 19:46:07 +0800
commit6d4a7f1e297770fcb9acd88150e4c06422a9e0d4 (patch)
treefe2791feba6883a5f96431427e2ead68faa2b388 /PKGBUILD
parent4fd755b0314d7030c901199eee1da36db4e5ad27 (diff)
downloadaur-6d4a7f1e297770fcb9acd88150e4c06422a9e0d4.tar.gz
Fix for info file
Diffstat (limited to 'PKGBUILD')
-rw-r--r--PKGBUILD3
1 files changed, 3 insertions, 0 deletions
diff --git a/PKGBUILD b/PKGBUILD
index 861d0c61bb9d..bafbd8ff1780 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -29,6 +29,9 @@ build() {
./autogen.sh
./configure --prefix=/usr --enable-shared --with-hdf5
make
+
+ cd documentation
+ find . -name "*.texi" -exec makeinfo {} \;
}
package() {