If LuaTeX will update its cache when the version field changes, then we can put something like:
t = int(time().time() / 60) "%d.%05d" % (t / 65536, t % 65536) ... which would last us until 16 February 10136 at 4:16 AM UTC Henry On Tuesday, 14 April 2015 at 08:31:12 pm -0400, Henry So Jr. wrote: > Does anyone know how Lua decides if/when to update its cache? Perhaps > there's a field we can put the date and time into which would force > luatex to re-cache the font? > > Henry > > _______________________________________________ > Gregorio-devel mailing list > [email protected] > https://mail.gna.org/listinfo/gregorio-devel > _______________________________________________ Gregorio-devel mailing list [email protected] https://mail.gna.org/listinfo/gregorio-devel
