On 4/24/2018 6:28 AM, N. Raghavendra wrote:
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. fixed in beta but no beta soon ... in lpdf-ini.lua you can try to fix this
function lpdf.id(date) local banner = environment.jobname or tex.jobname or "unknown" if not date then return banner else return format("%s | %s",banner,timestamp) end end and then run context --make Hans ----------------------------------------------------------------- Hans Hagen | PRAGMA ADE Ridderstraat 27 | 8061 GH Hasselt | The Netherlands tel: 038 477 53 69 | www.pragma-ade.nl | www.pragma-pod.nl -----------------------------------------------------------------