debian/detok.1
debian/romheaders.1
debian/toke.1
