summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorPellegrino Prevete2023-01-03 18:12:15 +0000
committerPellegrino Prevete2023-01-03 18:12:15 +0000
commit58bffec1d65c0ba8aaabb9c4118cc5b32f486686 (patch)
tree1cf385a18c26641b7ad1be6f91151d03fc899f45
parent105e348952bf66e3f33d9a316fc32cc125381dc5 (diff)
downloadaur-58bffec1d65c0ba8aaabb9c4118cc5b32f486686.tar.gz
fix infodir
-rw-r--r--PKGBUILD1
1 files changed, 1 insertions, 0 deletions
diff --git a/PKGBUILD b/PKGBUILD
index fb3024e357e9..4adb843ddcab 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -87,6 +87,7 @@ build() {
--target="${_target}"
--host=${CHOST}
--build=${CHOST}
+ --infodir="/usr/${_target}/share/info"
--enable-languages="c"
--with-float=soft
--with-gmp