pkgsrc/print/tex-translation-filecontents-de-doc