TeX distribution, documentation
