Re: Change the recommended first line? (was: texinfo should support Emacs coding specifier)

[Gavin Smith]

On 28 December 2015 at 23:42, Karl Berry <address@hidden> wrote:
> Gavin: the idea is that the stuff between **{start,end} of header are
> copied to a temp file, followed by the region, and then the texinfo
> formatter (texinfmt/makeinfo/whatever) is called on the temp file.
>
> This was invented by Chassell and/or rms near the beginning of Texinfo,
> when processing a huge Texinfo file (e.g., Elisp) took noticeable time,
> especially with Elisp (the header stuff predates C makeinfo).
> Therefore, when working on new sections of a manual, it was useful to be
> able to format just that section and not the entire document every time.
> (Not for purposes of the Info output, but for purposes of checking the
> Texinfo syntax of what was just written.)  -k

Thanks, I had no idea.