Re: [PATCH] Specify encoding of texinfo file

2019-10-24 Thread Samuel Thibault
Luca Weiss, le jeu. 24 oct. 2019 19:45:04 +0200, a ecrit: > This fixes the build with texinfo 6.7 Applied, thanks! Samuel

[PATCH] Specify encoding of texinfo file

2019-10-24 Thread Luca Weiss
This fixes the build with texinfo 6.7 --- The error message: /bin/sh /mnt/hdd/cross-hurd/tmp/src/gnumach.obj/../gnumach/build-aux/install-sh -C -m 644 ../gnumach/include/mach/std_types.h ../gnumach/include/mach/syscall_sw.h ../gnumach/include/mach/task_info.h ../gnumach/include/mach/task_special