Documentation update (TeX)