../../texmf-dist/scripts/sty2dtx/sty2dtx.pl