Re: makeinfo 4.7

[Eli Zaretskii]

> From: Richard Stallman <address@hidden>
> CC: address@hidden, address@hidden, address@hidden
> Date: Mon, 28 Aug 2006 18:09:42 -0400
> 
>     For only 3 directives that are very easy to change back to
>     back-compatible ones, I think such a requirement would be annoyingly
>     unjustified.
> 
> I do not consider it a serious problem to depend on Texinfo 4.7 in
> these circumstances.  However, if you want to take out those 3
> commands, I don't mind.

Will do.