minidot.tex only a stub
also generate minidot.tex when running ../bin/tex.sh