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