Updated TeX docs.