Hi Jens, On 08/26/2018 12:29 AM, Jens Thoms Toerring wrote: > Hi, > > I've just noticed that the date at the end of the > man page for gettimeofday(2) is "2017-09-15" in the most > current version from the git repository. But I also know > for sure that it was updated on 2018-05-13. That makes it > look as if that date is something that needs to be updated > manually which, of course, can easily be forgotten. > > Perhaps that could be dealt with by a pre-commit hook. > Would there be any interest in me trying to come up with > something for this (in case my above assumption is > correct)? Thanks for the offer... But, I actually have some (fairly simple) release scripts that do the update of timestamps of each man page (that has had nontrivial changes) at each release, so when the next release is done, gettimeofday() will get an updated timestamp. Cheers, Michael -- Michael Kerrisk Linux man-pages maintainer; http://www.kernel.org/doc/man-pages/ Linux/UNIX System Programming Training: http://man7.org/training/
