bug#35885: 25.2; Few mistakes in Emacs Manual (+ proposals)

[Eli Zaretskii]

> From: Sebastian Urban <mrsebastianurban@gmail.com>
> Date: Thu, 13 Aug 2020 11:11:15 +0200
> 
> I'm reopening this bug, because last time I unarchived it, it was
> automatically archived after 28d.
> 
> Since TEXINFO.TEX ver. 2020-05-14, this:
> 
> > --- old/emacs.texi       2020-05-10 21:24:52.351021900 +0200
> > +++ new/emacs.texi       2020-05-10 21:23:30.621478300 +0200
> > @@ -99,10 +99,13 @@
> >
> >  @end titlepage
> >
> > +@evenheading @thispage @| @|
> > +@oddheading @| @| @thispage
> >
> >  @summarycontents
> >  @contents
> >
> > +@headings double
> >
> >  @ifnottex
> >  @node Top
> 
> can be simplified to:
> 
> --8<---------------cut here---------------start------------->8---
> --- old/emacs.texi
> +++ new/emacs.texi
> @@ -99,10 +99,13 @@
> 
>  @end titlepage
> 
> +@headings double

Is it certain that the Emacs manuals are always processed using the
texinfo.tex that comes with that same version of Emacs?