Add Texlive documentation to Info