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

From: Eli Zaretskii <[email-masked]>
Date: Thu, 13 Aug 2020 16:20:04 +0300

> From: Sebastian Urban <[email-masked]>
> 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?