Update tex documentation