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/ -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
