[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#897627: tex: please support SOURCE_DATE_EPOCH for dvi too



On Fri, May 04, 2018 at 12:37:36PM +0900, Norbert Preining wrote:
> Hi Bill,
> 
> On Thu, 03 May 2018, Bill Allombert wrote:
> > While pdftex handles SOURCE_DATE_EPOCH, tex does not, which leads to
> > unreproducible DVI files.
> 
> tex is tex as DEK wanted it. Please use etex, which is the pdftex binary
> producing dvi.

Maybe this could be documented in the manpage ? There is already:

BUGS
       This version of TeX implements a number of optional extensions.
  In fact, many of these extensions  conflict  to  a  greater or lesser
  extent with the definition of TeX.  When such extensions are enabled,
  the banner printed when TeX starts is  changed  to  print TeXk instead
  of TeX.

I think it is likely that if this bug is closed without changes, someone
else will open it again.

What about latex ?

Cheers,
Bill.


Reply to: