Re: makeinfo 4.7

[Eli Zaretskii]

> Date: Sat, 26 Aug 2006 09:11:49 +0100
> From: Alan Mackenzie <address@hidden>
> Cc: "Kim F. Storm" <address@hidden>, address@hidden
> 
> cc-mode.texi uses @headitem, which was also first introduced in Texinfo
> 4.7.  How many other manuals also use 4.[78] features?

If someone can run "make info" with makeinfo 4.2, we will know for
sure.

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

Why, because it's the easy way out?