[tlbuild] dvips bug (and patch)

[Peter Breitenlohner]

On Fri, 12 Nov 2010, Alphonse Steiner wrote:

> I have found a bug (not critical at all) in dvips : the header of the
> postcript file produced contains the input name instead of the output name.

I am not entirely sure this is a bug, it may well be intentional (and is
that way since ages).

Note: the output may be written to stdout (may be necessary on some systems
in order to create large output files >2GB).

Regards
Peter Breitenlohner <peb at mppmu.mpg.de>