(TXT) texdeps.pl