texmf/doc/man/man1/detex.1 texmf/tpm/bin-detex.tpm texmf/lists/bin-detex