Update doc.tex