Correct man page dates

Various changes (many by me) have been made to the man pages without
bumping their dates.  I have now corrected them based on the last commit
to each file.  I also added the script I used to make these changes.

Reviewed-by: Olaf Faaland <faaland1@llnl.gov>
Reviewed-by: Brian Behlendorf <behlendorf1@llnl.gov>
Signed-off-by: Richard Laager <rlaager@wiktel.com>
Closes #8710
This commit is contained in:
Richard Laager
2019-05-05 16:45:56 -05:00
committed by Brian Behlendorf
parent a20f43b51b
commit e7ce9759ac
7 changed files with 18 additions and 5 deletions
+12
View File
@@ -0,0 +1,12 @@
#!/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")
[ "x$git_date" = "x" ] && continue
sed -i "s|^\.Dd.*|.Dd $(date -d "$git_date" "+%B %-d, %Y")|" "$i"
done