[NTG-context] Reproducible PDF output not working
nyraghu27132 at gmail.com
Tue Apr 24 06:28:45 CEST 2018
At 2018-04-23T23:49:19+02:00, Arthur Reutenauer wrote:
> it seems the identifier uses the time of compilation, when it should
> probably use the time of last modification of the source file.
Yes, with the 2018.04.19 version, the identifier in the output of
`context --nodates' includes the compilation time, as in
On the other hand, with the 2017.11.14 version, the identifier in the
output of `context --nodates' is just
PS: Incidentally, what is the "-19:00" in date in the first identifier?
In my time zone, IST, I would have expected 2018-04-24T01:49:47+05:30.
N. Raghavendra <raghu at hri.res.in>, http://www.retrotexts.net/
Harish-Chandra Research Institute, http://www.hri.res.in/
More information about the ntg-context