diff options
author | Pellegrino Prevete | 2023-01-03 18:12:15 +0000 |
---|---|---|
committer | Pellegrino Prevete | 2023-01-03 18:12:15 +0000 |
commit | 58bffec1d65c0ba8aaabb9c4118cc5b32f486686 (patch) | |
tree | 1cf385a18c26641b7ad1be6f91151d03fc899f45 | |
parent | 105e348952bf66e3f33d9a316fc32cc125381dc5 (diff) | |
download | aur-58bffec1d65c0ba8aaabb9c4118cc5b32f486686.tar.gz |
fix infodir
-rw-r--r-- | PKGBUILD | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -87,6 +87,7 @@ build() { --target="${_target}" --host=${CHOST} --build=${CHOST} + --infodir="/usr/${_target}/share/info" --enable-languages="c" --with-float=soft --with-gmp |