[NTG-context] Reproducible PDF output not working

Arthur Reutenauer arthur.reutenauer at normalesup.org
Mon Apr 23 23:49:19 CEST 2018


	Hi Raghu,

  I can reproduce the problem you observe.  Hans, it seems the
identifier uses the time of compilation, when it should probably use the
time of last modification of the source file.

	Best,

		Arthur


More information about the ntg-context mailing list