Bug#897627: tex: please support SOURCE_DATE_EPOCH for dvi too
On 04.05.2018 13:38, Bill Allombert wrote:
Hi Bill,
> 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.
>
How about the attached patch for tex.1?
Hilmar
--
#206401 http://counter.li.org
--- tex.1 2017-03-30 03:02:29.000000000 +0200
+++ tex.2 2018-05-04 20:25:46.053590373 +0200
@@ -474,6 +474,14 @@
but when it does the generated
.I DVI
file will be invalid.
+.PP
+Notes for Debian developers: please keep in mind, that this version of
+the \*(TX interpreter ignores the
+.B SOURCE_DATE_EPOCH
+variable. Instead the current timestamp is written into the
+.I DVI
+file. If you need a reproducible time stamp, please use the pdf\*(TX
+interpreter, which is used e.g. by \*(LX.
.\"=====================================================================
.SH "SEE ALSO"
.BR mf (1),
Reply to: