t***@kky.ttu.ee
2006-01-06 08:22:06 UTC
Package: dvipng
Version: 1.5-2
The dvipng tool makes strange changes into filenames which contain
periods.
Lets say, I have these two files to convert:
sample.dvi
sample3.22.dvi
The first filename causes no problems:
$ dvipng sample
or
$ dvipng sample.dvi
both produce sample1.png
The second filename, however, leads to different results depending on
whether the .dvi extension is included on the command line or not:
$ dvipng sample3.22
produces sample31.png
while
$ dvipng sample3.22.dvi
produces sample3.221.png
I think that both should produce sample3.221.png.
Actually I recommend that another separator, such as a dash, be placed
in front of the "1", producing sample3.22-1.png . This would allow for
more readable filenames for cases where the basename ends with a
digit.
Version: 1.5-2
The dvipng tool makes strange changes into filenames which contain
periods.
Lets say, I have these two files to convert:
sample.dvi
sample3.22.dvi
The first filename causes no problems:
$ dvipng sample
or
$ dvipng sample.dvi
both produce sample1.png
The second filename, however, leads to different results depending on
whether the .dvi extension is included on the command line or not:
$ dvipng sample3.22
produces sample31.png
while
$ dvipng sample3.22.dvi
produces sample3.221.png
I think that both should produce sample3.221.png.
Actually I recommend that another separator, such as a dash, be placed
in front of the "1", producing sample3.22-1.png . This would allow for
more readable filenames for cases where the basename ends with a
digit.
--
Toomas Tamm e-mail: tt-deb (at) kky.ttu.ee
Chair of Inorganic Chemistry voice: INT+372-620-2810
Tallinn University of Technology fax: INT+372-620-2828
Ehitajate tee 5, EE-19086 Tallinn, Estonia http://www.kk.ttu.ee/toomas/
Toomas Tamm e-mail: tt-deb (at) kky.ttu.ee
Chair of Inorganic Chemistry voice: INT+372-620-2810
Tallinn University of Technology fax: INT+372-620-2828
Ehitajate tee 5, EE-19086 Tallinn, Estonia http://www.kk.ttu.ee/toomas/