Control: affects 941557 - src:maxima-sage Thanks for providing the solution for the problem!
Best, Tobias On 10/29/19 2:24 PM, Norbert Preining wrote: > 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 >
