pkgsrc/fonts/tex-prodint-doc