On Fri, Feb 14, 2014 at 04:28:11PM +0100, Michael Kerrisk (man-pages) wrote: > Thanks for the extensive reply! One final point. For the pages that > have non-ASCII characters only in source comments, not in rendered > input source, does it matter whether or not the "coding:" tag is added? > I ask because, simply for documentary purposes, I'm wondering whether > we should add that tag only in the pages that have UTF-8 in the rendered > input. I don't *believe* it will make a difference to groff's preconv, since all the other encodings people might be using will at worst only mangle UTF-8 characters in comments in ways that preserve their comment status. It might allow man-db to be marginally more efficient, but I think any difference would be negligible. Regards, -- Colin Watson [cjwatson@xxxxxxxxxx] -- To unsubscribe from this list: send the line "unsubscribe linux-man" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
