doc.tex