Re: makeinfo 4.7

[Alan Mackenzie]

Morning, Eli!

On Fri, Aug 25, 2006 at 07:03:02PM -0400, Eli Zaretskii wrote:
> > From: address@hidden (Kim F. Storm)
> > Date: Fri, 25 Aug 2006 23:54:36 +0200

> > According to the README file, makeinfo 4.2 or later is needed:

> > `man'       holds the source code for the Emacs Manual.  If you modify the
> >             manual sources, you will need the `makeinfo' program to produce
> >             an updated manual.  `makeinfo' is part of the GNU Texinfo
> >             package; you need version 4.2 or later of Texinfo.

> > But rcirc.texi uses indicateurl which was added in 4.7

> Why does rcirc.texi need @indicateurl?  Can't it do without it?

> I don't think we should gratuitously raise the minimal version of
> support tool required to rebuild Emacs, even though Texinfo 4.7 was
> released quite some time ago.

cc-mode.texi uses @headitem, which was also first introduced in Texinfo
4.7.  How many other manuals also use 4.[78] features?

I suggest we just mandate 4.7 (or even 4.8), and be done.

-- 
Alan.