Dear Francis,
To round off this issue, the author of dvipng has agreed to revise it
for the next release, presumably 1.18. The problem, if I understand it
correctly, is that the bookmark dvips driver, which is used by default,
inserts what is essentially an empty image, which dvipng does not
To round off this issue, the author of dvipng has agreed to revise it for the
next release, presumably 1.18. The problem, if I understand it correctly, is
that the bookmark dvips driver, which is used by default, inserts what is
essentially an empty image, which dvipng does not expect, and when
