[tex-k] Incorrect sizes in GFtoDVI output
don.hosek at gmail.com
Wed Nov 17 00:15:49 CET 2021
> gftodvi reads tfm files. It has a function open_tfm_file, etc.
It reads TFM files but only because it needs metric (and kerning and ligature information) to typeset labels.
> Why do we need this odd-looking output in addition to this:
> Font 1: cmr8---loaded at size 524288 DVI units
> Font 2: cmtt10---loaded at size 655360 DVI units
> Font 3: gray---loaded at size 505200 DVI units
> Font 5: logo8---loaded at size 524288 DVI units
This looks like there’s a bug in the web2c translation of dvitype. There’s code in §61 that outputs Font<space> folloed by the font number then :<space> and finally outputs the font name. This is run (in the web code) exactly once before outputting —loaded at size etc. But it appears that the output is called twice in the actually compiled code. I’ve not looked at the web2c output to see what’s happening, but that at least is the source of the issue. The double output is a web2c bug and not a dvitype bug.
More information about the tex-k