Re: @format and @display in HTML output

[Karl Berry]

    P.S.: You can see another small problem here: It says "Knoten"
    instead of "node" due to my locale; therefore I wrote
       LANG=en ; makeinfo --output=$@ --no-split --html $<

I'm not sure what bug you're reporting.  It said "Knoten" even though
LANG=en (that would be a problem :), or it said "Knoten" when LANG=de?

If the latter, that is intentional, the theory being that if LANG=de,
you're writing a German document.  

Admittedly this is not 100% correct logic, but there has to be some way
to specify German (or whatever language) translations of the output
words, and that was the simplest way to get things going.  If you're
writing an English document with LANG=de in general, then yes, you'll
need to reset LANG=en.

There is a @documentlanguage command which would be the best way, but at
present that unfortunately does not affect the translations.

Thanks,
k