[PATCH] Specify encoding of texinfo file

[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_ports.h 
../gnumach/include/mach/thread_info.h 
../gnumach/include/mach/thread_special_ports.h 
../gnumach/include/mach/thread_status.h ../gnumach/include/mach/thread_switch.h 
../gnumach/include/mach/time_value.h ../gnumach/include/mach/version.h 
../gnumach/include/mach/vm_attributes.h 
../gnumach/include/mach/vm_cache_statistics.h 
../gnumach/include/mach/vm_inherit.h ../gnumach/include/mach/vm_param.h 
../gnumach/include/mach/vm_prot.h ../gnumach/include/mach/vm_statistics.h 
../gnumach/include/mach/vm_sync.h ../gnumach/include/mach/vm_wire.h 
../gnumach/include/mach/inline.h ../gnumach/include/mach/xen.h 
'/tools/include/mach'
utf8 "\xB4" does not map to Unicode at 
/usr/share/texinfo/Texinfo/ParserNonXS.pm line 1796, <FH> line 7232.
Malformed UTF-8 character (fatal) at /usr/share/texinfo/Texinfo/ParserNonXS.pm 
line 3387.
make[1]: *** [Makefile:7091: ../gnumach/doc/mach.info] Error 25
make[1]: Leaving directory '/mnt/hdd/cross-hurd/tmp/src/gnumach.obj'
make: *** [Makefile:7380: install-data-recursive] Error 1

Fix seen at 
https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=b451acb7defe46c596ca96ae3245b2779d47aa92

 doc/mach.texi | 1 +
 1 file changed, 1 insertion(+)

diff --git a/doc/mach.texi b/doc/mach.texi
index 913e8bbd..2bd085b2 100644
--- a/doc/mach.texi
+++ b/doc/mach.texi
@@ -1,4 +1,5 @@
 \input texinfo                  @c -*- Texinfo -*-
+@documentencoding ISO-8859-1
 @setfilename mach.info
 @settitle The GNU Mach Reference Manual
 @setchapternewpage odd
-- 
2.23.0