Re: dvipng and TeXlive

David Kastrup wrote:
> Jan-Ake Larsson <[email protected]> writes:
> > A larger problem may be the missing --picky option. This will be read
> > as '-p 0', and most DVIs do not have a page 0. Which means no pages
> > will be output.
>=20
> Perhaps we should test for the presence of dvipng and versions (and
> also use this knowledge for setting the default option of
> preview-image-type)?

Well, the result would be that no pages at all would be rendered in a
given dvipng run (v1.0-v1.1). Which would be the same as if we chose
not to make dvipng the default type in the first place (minus some
overhead for an empty dvipng run).

We can

1) do a configure test and modify the default image type and dvipng's
   options depending on the version (1.0-1.1 !=3D 1.2-)

2) Use 'dvipng as default image type and --picky mode which would make
   v1.0-v1.1 not render any images.

In case 1) activation of dvipng would amount to choosing it as image
type.

In case 2) activation would amount to upgrading dvipng or removing the
--picky option.

Perhaps it is simpler to amend the manual on using dvipng from within
preview-latex, than to write a version test and modify default values.

/J=C5


--=20
Organization: Homo Linuxoidus: carbon/silicon-based life form


-------------------------------------------------------
SF email is sponsored by - The IT Product Guide
Read honest & candid reviews on hundreds of IT Products from real users.
Discover which products truly live up to the hype. Start reading now.
http://ads.osdn.com/?ad_id=6595&alloc_id=14396&op=click