diff options
Diffstat (limited to 'scripts/man-dates.sh')
-rwxr-xr-x | scripts/man-dates.sh | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/scripts/man-dates.sh b/scripts/man-dates.sh deleted file mode 100755 index 39f1b5fb1324..000000000000 --- a/scripts/man-dates.sh +++ /dev/null @@ -1,12 +0,0 @@ -#!/bin/sh - -# This script updates the date lines in the man pages to the date of the last -# commit to that file. - -set -eu - -find man -type f | while read -r i ; do - git_date=$(git log -1 --date=short --format="%ad" -- "$i") - [ -z "$git_date" ] && continue - sed -i "s|^\.Dd.*|.Dd $(date -d "$git_date" "+%B %-d, %Y")|" "$i" -done |