Description: Set encoding to ISO-8859-1.
 Fixes 'Malformed UTF-8 character' error.
Author: Bas Couwenberg <sebastic@debian.org>
Bug-Debian: https://bugs.debian.org/941557

--- a/doc/gri.texi
+++ b/doc/gri.texi
@@ -1,4 +1,5 @@
 \input texinfo 
+@documentencoding ISO-8859-1
 
 @c
 @comment *** Start of HTML stuff ***
