Hello, Le dimanche 15 janvier 2023 à 08:03 -0800, Paul Eggert a écrit : > For TZDB, where users have long wanted reproducibility, I use > something > like this in a Makefile recipe for each source file $$file: > > time=`git log -1 --format='tformat:%ct' $$file` && > touch -cmd @$$time $$file
If your texinfo file includes version.texi, then its modification date is very important because it impacts the date that appears in the final file. Your solution is in my opinion the only correct way to answer the problem. However, there are situations in which you only have access to a shallow clone of the git repository (for instance, Gitlab CI). I am not sure how this solution would work in that case. Best regards, Vivien
