24 Apr
2018
24 Apr
'18
4:28 a.m.
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
pdfx:IDfoo.2018-04-24T01:49:47-19:00.
On the other hand, with the 2017.11.14 version, the identifier in the
output of `context --nodates' is just
pdfx:IDfoo
Raghu.
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