New comment by sgn on void-packages repository https://github.com/void-linux/void-packages/pull/25655#issuecomment-710109022 Comment: Hm, no. I don't think we want that. I prefer to go with this instead: https://github.com/void-linux/void-packages/pull/24343/commits/f48c94727461c07e0bc4ddfb5afef5cbf5d2076f ```diff diff --git a/srcpkgs/m4/template b/srcpkgs/m4/template index 111dc6a6b07..6db163696da 100644 --- a/srcpkgs/m4/template +++ b/srcpkgs/m4/template @@ -14,6 +14,11 @@ maintainer="Enno Boland " distfiles="${GNU_SITE}/${pkgname}/${pkgname}-${version}.tar.xz" checksum=f2c1e86ca0a404ff281631bdc8377638992744b175afb806e25871a24a934e07 +# Ubuntu 20.04 makeinfo breaks the build with ISO-8859-1 characters +if [ ! "$CHROOT_READY" ]; then + export MAKEINFO=true +fi + pre_check() { case "$XBPS_TARGET_MACHINE" in *-musl* ) ```