Internationalizing texinfo [LONG]

[K. Berry]

    -        add_word (_("* Menu:\n"));
    +        add_word ("* Menu:\n");

I've already made this change in the Texinfo sources for the next release.

Thanks,