multiple scaling suffices with \installfont

Lars Hellström
Tue, 2 Feb 1999 14:50:09 +0100 (MET)

Your problems are most likely casued by a bug in \get_file_name, whose
current definition is

  \def\get_file_name #1~scaled~#2~#3;{

The \setint should really be a \resetint. I have intended to fix this in
the new version I am working on, but I haven't gotten round to it yet.

Lars Hellström