Documentation for tex-prodint.