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