../../texmf-dist/scripts/texfot/texfot.pl