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

