../../texmf-dist/scripts/dtxgen/dtxgen