Doc-string with newline character

[Thomas Morley]

Hi,

while preparing a patch a noticed a problem with a doc-string:
I want to refer to newline characters and wrote "@code{#\newline}",
but it comes out as
# ewline
for both pdf and html.
I couldn't figure how to let print
#\newline

Any hint?


Thanks,
  Harm