update TeX docs