Jean-Marc Lasgouttes wrote: > But _when_ is it set? In the preamble? We have code to differentiate > dvi from pdf, do we want to allow people to shoot themselves in the > foot by such means?
In the testcases, people entered the command themselves. I think it does not happen with our builtin hyperref support, since we care for the correct driver. We could certainly say that this is a user problem, however, the extension does not harm. And it has the extra bonus that png output is now also supported if dvipng is not installed. Jürgen
