Documentation for tex-prodint
