# Not a problem
national-encoding [*debian/fix_man_encoding.sed*]

