texmf-dist/tex/generic/eijkhout/CD_labeler.tex texmf-dist/tex/generic/eijkhout/CD_labeler_test.tex texmf-dist/tex/generic/eijkhout/DB_process.tex texmf-dist/tex/generic/eijkhout/repeat.tex texmf-dist/tpm/eijkhout.tpm texmf/lists/eijkhout