From d6bdc8ca5b08c4c155dc7c53a148937ba451351e Mon Sep 17 00:00:00 2001
From: Luca Weiss <luca@z3ntu.xyz>
Date: Thu, 24 Oct 2019 20:20:59 +0200
Subject: Fix build with texinfo 6.7

doc/mach.texi: Specify document encoding as ISO-8859-1.
---
 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
-- 
cgit v1.2.3