[tex-k] Incorrect sizes in GFtoDVI output

[Andreas Scherer]

> However, it seems that the 'short' one-line list of fonts is
> redundant right after the 'long' list.
If you invoke

$ dvitype -output-level={0,1,2,3} ...

then the 'long' list of 'Font's comes at the end of the output. Only the 
default '-output-level=4' puts it up front and next to the 'short' list.

--Andreas