[prev in list] [next in list] [prev in thread] [next in thread] 

List:       linux-man
Subject:    Re: Dates in man pages
From:       "Michael Kerrisk (man-pages)" <mtk.manpages () gmail ! com>
Date:       2018-08-26 13:47:43
Message-ID: e9912dc2-56e7-52c5-84cf-7e5d08db0a10 () gmail ! com
[Download RAW message or body]

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/
[prev in list] [next in list] [prev in thread] [next in thread]