[Dvipng] Bug#346181: dvipng distorts filenames with periods

[tt-deb]

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.

-- 
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/