Tex/Pdf documentation update