Re: @value, macro and other expansion questions

[Karl Berry]

    I thought a bit about whether the remaining of the  menus should 
    be in code_style or not

I'm not sure if this is your question, but the description part of a
menu entry (or continuation lines) is definitely not in code_style.  It
is documented (I hope) and expected that normal text expansions happen
there; e.g., if someone writes --- in a menu description, HTML output
should use —.  Ergo Info output would be --.

Clearly leading spaces and spaces between the menu node name and the
description need to preserved in Info and plain text output, and they
should be ignored in HTML since they won't actually make anything align.
As for XML, that should be the usual XML translation of the source,
which I think it already is?  The spaces should be ignored there, I suppose.

    although it is not always easy to know when one is in a menu comment,

What is a menu comment?

Thanks,
k