On 27 December 2015 at 03:38, Eli Zaretskii <e...@gnu.org> wrote: >> Date: Sat, 26 Dec 2015 20:56:37 +0000 >> From: Gavin Smith <gavinsmith0...@gmail.com> >> Cc: Texinfo <bug-texinfo@gnu.org>
> Emacs automatically enters Texinfo mode for *.texinfo, *.texi, and > *.txi files, so it's okay to omit the mode cookie for those. But any > other Texinfo file still needs that. So if we want to change the > recommendation, we should tell that only Texinfo files with unusual > extensions need it, IMO. Do you know whether the lines @c %**start of header and @c %**end of header are still useful for anyone? The manual says The @code{@@c ...header} lines above which surround the @code{@@setfilename} and @code{@@settitle} lines allow you to process, within Emacs, just part of the Texinfo source. (@xref{Start of Header}.) but I've never really understood what this means.