Bug#897627: tex: please support SOURCE_DATE_EPOCH for dvi too
On Fri, May 04, 2018 at 02:00:26PM +0200, Hilmar Preuße wrote:
> On 04.05.2018 13:38, Bill Allombert wrote:
>
> Hi,
>
> > 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.
> >
> Hmm, you mean we should document every difference between our TeXk and
> TeX? Not sure if that should be put into a /manual/ page.
>
> > I think it is likely that if this bug is closed without changes, someone
> > else will open it again.
> >
> What bug?
Sorry, I meant bug as in 'an entry in the Debian BTS' not as "a problem
that need to be solved". And actually #897627 is a wishlist item.
Developpers generally expect every programs that generates files with
timestamp to honor SOURCE_DATE_EPOCH at some point.
That tex will not implement it for legacy reason, and that etex needs to
be used instead is OK, even if potentially inconvenient (if tex is
hardcoded in upstream makefile).
However, if this is not clearly documented, developpers might report
this wishlist again and again.
Cheers,
Bill.
Reply to: