On 28 December 2015 at 23:42, Karl Berry <[email protected]> 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.
