../../texmf-dist/scripts/tetex/texdoctk.pl