<html><head><style type='text/css'>p { margin: 0; }</style></head><body><div style='font-family: Arial; font-size: 12pt; color: #000000'><br>----- Original Message -----<br>From: "Luca" <ororo@email.it><br>To: tex-k@mail.tug.org<br>Sent: Friday, July 17, 2009 4:31:36 AM (GMT-0300) Auto-Detected<br>Subject: [tex-k] bug report - dvips<br><br>Probably I have reported a bug in the wrong site:<br><br>https://bugs.launchpad.net/ubuntu/+source/texlive-base/+bug/386465<br><br>Thank you<br>Luca<br>That is not a bug. It is the established behavior of dvips for decades. What is reported in the line in the PostScript file is not the name of the PostScript file, which would surely be redundant, but the source from which the PostScript file was made. That way, if you should rename the PostScript file, you would still have a traceback to its origin. Such a clue can sometimes be a real timesaver. <br><br>Pierre MacKay<br><br></div></body></html>