Re: makeinfo 4.7

[Richard Stallman]

    > That is over 2 years.  So it is ok for Emacs to need it.

    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.