diff options
author | wangjiezhe | 2016-08-05 19:46:07 +0800 |
---|---|---|
committer | wangjiezhe | 2016-08-05 19:46:07 +0800 |
commit | 6d4a7f1e297770fcb9acd88150e4c06422a9e0d4 (patch) | |
tree | fe2791feba6883a5f96431427e2ead68faa2b388 /PKGBUILD | |
parent | 4fd755b0314d7030c901199eee1da36db4e5ad27 (diff) | |
download | aur-6d4a7f1e297770fcb9acd88150e4c06422a9e0d4.tar.gz |
Fix for info file
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -29,6 +29,9 @@ build() { ./autogen.sh ./configure --prefix=/usr --enable-shared --with-hdf5 make + + cd documentation + find . -name "*.texi" -exec makeinfo {} \; } package() { |