> Personally, I would prefer that quotes render sensibly in utf8, html
> and dvi, and that correctly written man pages do not need any
> modification. Also, the use of `foo' is very convenient (even if it
> no longer appears balanced in the source).
Let me try to summarize:
. What people like to input in man pages is this:
`foo' should be equal to \[oq]foo\[cq]
\`foo\' should be equal to <ASCII 0x60>foo<ASCII 0x27>
I say `in man pages' because \` and \' act as accents too, but
this is, AFAIK, not used (a quick search in the man pages on my
SuSE GNU/Linux box showed not a single man file which uses \' or
\` as an accent).
. Depending on the output device, ` and ' should be mapped to
different characters. However, \` and \' should always map to
ASCII 0x60 and ASCII 0x27 for proper cut and paste support.
Do you all agree with this?
Werner
