On Fri, Apr 13, 2018 at 11:03 AM, Rodzis, Michelle <rodzis@sub.uni-goettingen.de> wrote:

No, I want to use MKIV

then texfont is not needed -- see Massimiliano's answer.

luigi