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 ___________________________________________________________________________________