> 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