Re: Processed: Re: gri: FTBFS: Malformed UTF-8 character (fatal) at /usr/share/texinfo/Texinfo/ParserNonXS.pm line 3364.

[Norbert Preining <preining@logic.at>]

reassign 941557 src:gri
tags 941557 + patch
retitle 941557 texi file need @documentencoding
thanks

With texinfo 6.7 finally the default encoding is UTF-8, thus gri.texi
fails to compile since it is in ISO-8859-1. If files in other encodings
are to be translated @documentencoding needs to be used - this has been
the case since ... version 6.0 or so (?).

Please add
	@documentencoding ISO-8859-1
after the 
	\input texinfo
so that it reads
	\input texinfo
	@documentencoding ISO-8859-1
to fix it.

Thanks

Norbert

--
PREINING Norbert                               http://www.preining.info
Accelia Inc. + IFMGA ProGuide + TU Wien + JAIST + TeX Live + Debian Dev
GPG: 0x860CDC13   fp: F7D8 A928 26E3 16A1 9FA0 ACF0 6CAC A448 860C DC13