doc/plugins/tex
