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.
-- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]