multiple scaling suffices with \installfont

Lars Hellström Lars.Hellstrom@math.umu.se
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;{
     \edef\file_name{#1}
     \ifnum#2=\one_thousand
        \unsetint{rawscale}
     \else
        \setint{rawscale}{#2}
     \fi
  }

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