added doc.tex