@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
