From mboxrd@z Thu Jan 1 00:00:00 1970 From: elfring@users.sourceforge.net (SF Markus Elfring) Date: Tue, 30 Sep 2014 15:00:22 +0200 Subject: [Cocci] Documentation generation for the release "1.0.0-rc22" In-Reply-To: References: <542A95D4.9060709@users.sourceforge.net> <542A9E41.7070904@users.sourceforge.net> Message-ID: <542AA966.6000905@users.sourceforge.net> To: cocci@systeme.lip6.fr List-Id: cocci@systeme.lip6.fr > Perhaps the solution is here: > > http://tex.stackexchange.com/questions/155309/mktextfm-ptmr8t-errors Thanks for your link on the topic "mktextfm ptmr8t errors". The involved variations for package names might be interesting. https://packages.debian.org/wheezy/texlive-fonts-recommended Now I have also installed the package "texlive-times 2013.72.svn28614-11.2.1" for my openSUSE system. https://software.opensuse.org/package/texlive-times I am sorry that I did not find it earlier. Regards, Markus