Simon Josefsson wrote: > We could add a 'make syntax-check' rule to look for Texinfo manuals > (hueristic: *.texi and *.texinfo?) containing a @documentencoding that > isn't 'UTF-8'.
This is only one of the problematic scenarios. The other problematic scenario is a Texinfo manual that does not have a @documentencoding line, when processed with a texinfo version < 6.7. A couple of distros are actually carrying such an old texinfo version [1]. Bruno https://repology.org/project/texinfo/versions
