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: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.
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
-----------------------------------------------------------------
___________________________________________________________________________________
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
___________________________________________________________________________________
