Hi, On Sun, Aug 05, 2018 at 08:08:40AM +0200, Thomas Lange wrote: > >>>>> 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.
No not mtime but git commit time, I guess. That is simpler and more robust. There may be cleaner way but my elementally git skill can come up with this for path/to/file.to.check as: $ git log -n 1 path/to/file.to.check |sed -n -e "s/Date: *//p" So commit your change to git repo and let build script to extract the commit timing. Then inject this sting while building the web page. (Alternatively for Debian package building, we should extract date from debian/changelog.) You can use the "date" command to convert format to any styke (e.g. ISO). I didn't think this was as easy with git until Steve's comment. I am stll have some hung over from $id:$. Osamu