tree fb0414a53a0772106420ea26c7d76adf881764d3
parent 0ec2029833ffa85400b729dc3b7039661eb42619
author Mike Frysinger <vapier@google.com> 1632334535 -0400
committer Mike Frysinger <vapier@google.com> 1632339455 +0000

update-manpages: avoid regen just for datestamp update

To avoid noise due to the passage of time, don't regenerate man pages
if the only thing different is the datestamp in the header.

Change-Id: Ic8d7b08d12e59c66994c0cc2d4ec2d2ed3eb6e6d
Reviewed-on: https://gerrit-review.googlesource.com/c/git-repo/+/318575
Reviewed-by: Jack Neus <jackneus@google.com>
Reviewed-by: Mike Frysinger <vapier@google.com>
Tested-by: Mike Frysinger <vapier@google.com>