Maybe make info used a unpatched makeinfo? Info output must not and does not translate Next: and so on, because they are effectively keywords -- Info readers would stop working if they were translated. Norbert's patch changed the HTML output, which is fine.
_______________________________________________ Texinfo home page: http://www.gnu.org/software/texinfo/ [email protected] http://lists.gnu.org/mailman/listinfo/bug-texinfo
