diff options
| -rwxr-xr-x | .github/fixup_file_mtime.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/fixup_file_mtime.sh b/.github/fixup_file_mtime.sh index 662c16dbd..af401a510 100755 --- a/.github/fixup_file_mtime.sh +++ b/.github/fixup_file_mtime.sh @@ -9,7 +9,7 @@ if [[ ! -f 'coredns.1.md' ]]; then exit 1 fi -for file in coredns.1.md corefile.5.md plugin/*/README.md; do +for file in coredns.1.md corefile.5.md plugin/*/README.md man/*.1 man/*.5 man/*.7; do time=$(git log --pretty=format:%cd -n 1 --date='format:%Y%m%d%H%M.%S' "${file}") touch -m -t "${time}" "${file}" done |