Create doxet-maker.tex