4187859
texlive-bin: better way to disable xindy for armv7h Before this change, the armv7h build failed Signed-off-by: David P <megver83@parabola.nu>