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:ID>foo.2018-04-24T01:49:47-19:00</pdfx:ID>.

On the other hand, with the 2017.11.14 version, the identifier in the
output of `context --nodates' is just

  <pdfx:ID>foo</pdfx:ID>

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 <ra...@hri.res.in>, http://www.retrotexts.net/
Harish-Chandra Research Institute, http://www.hri.res.in/
___________________________________________________________________________________
If your question is of interest to others as well, please add an entry to the 
Wiki!

maillist : ntg-context@ntg.nl / http://www.ntg.nl/mailman/listinfo/ntg-context
webpage  : http://www.pragma-ade.nl / http://context.aanhet.net
archive  : https://bitbucket.org/phg/context-mirror/commits/
wiki     : http://contextgarden.net
___________________________________________________________________________________

Reply via email to