This managed to expose a bug in my man-db development tree (which never made it into any released version), because 0xAE does not exist in ISO-8859-7 so the conversion tool got very confused. I'll fix my code, of course, but the manual page will only display the correct characters if the correct coding: tag is used. diff --git a/man7/iso_8859-13.7 b/man7/iso_8859-13.7 index d05ee06..ae32482 100644 --- a/man7/iso_8859-13.7 +++ b/man7/iso_8859-13.7 @@ -1,4 +1,4 @@ -'\" t -*- coding: ISO-8859-7 -*- +'\" t -*- coding: ISO-8859-13 -*- .\" Copyright 2009 Lefteris Dimitroulakis (edimitro@xxxxxx) .\" .\" This is free documentation; you can redistribute it and/or Thanks, -- 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
