>>>>> On Sun, 5 Aug 2018 06:40:23 +0100, Steve McIntyre <st...@einval.com> said:
> Definitely it should stay - a major part of the usefulness of many
> pages is "can I trust this to be up to date?". If desired, I'm happy
That's excatly what I tried to accomplish. Either remove it or have
the correct information.
If we can generate this information cheaply - perfect.
Do we just need to change the mtime of the *.wml files to the last date
from the git logs before calling make? I could try to write a pipe of
commands for that if you like.
--
regards Thomas
