name dottex docfiles texmf-dist/doc/latex/dottex/README texmf-dist/doc/latex/dottex/dottex.pdf texmf-dist/doc/latex/dottex/example.tex texmf-dist/doc/latex/dottex/gpl.txt srcfiles texmf-dist/source/latex/dottex/dottex.dtx texmf-dist/source/latex/dottex/dottex.ins runfiles texmf-dist/tex/latex/dottex/dottex.sty