Documentation access for TeX Live
