Tobias,

My Fedora 9 distribution provides a 'python-tools' package, of which a
'pygettext.py' script is part of. As it is almost identical to the one
in tools/ (only some formatting differences), but it contains the
encoding specifier that you are looking for (# -*- coding: iso-8859-1
-*-), I suggest we replace ours with that.

Also, with this script I don't think there is any need for that 'xpot'
tool that local/GNUmakefile wants.