Re: @value, macro and other expansion questions

[Karl Berry]

         @value, commands defined by @macro should be expanded, in code_style,
         @{ would be replaced by {, @} by }, @@ by @ and @* by a newline.
         @/ is treated as explained in the manual.
         The result of other @-commands expansion is unspecified.

    Does that looks good?

Looks fine, as far as it goes.  But your mentioning newlines makes me
think that we need a small refinement for handling whitespace in two
different ways.

In normal code_style, multiple spaces/tabs/newlines all get replaced by
a single space (a la TeX), for the sake of @xref{Some Node Name Broken
Over Lines}.

But for filenames (and @verb and @verbatim and ?), it seems we need
verb_style, where all whitespace is preserved precisely as-is.

Does that sound right?

Also, as far as TeX goes, it is not possible to *portably* implement
arbitrary whitespace in filenames (or any whitespace, for that matter).
I don't suppose that's going to be a surprise to any author, but we
should mention it in whatever documentation we write.

Thanks,
karl