view devel/update-manpage-date @ 226:7b70bf4f1f42

renamed misc/ to devel/ because the contents are for developers
author meillo@marmaro.de
date Fri, 23 Jul 2010 11:46:08 +0200
parents misc/update-manpage-date@0976977ccc52
children
line wrap: on
line source

#!/bin/sh
#
# update the date and version of man pages

if [ $# -lt 2 ] ; then
	echo "usage: update-manpage-header VERSION FILES..." >&2
	exit 1
fi


date=`date +%Y-%m-%d`

version="$1"
shift

for i do
	ed -s "$i" <<!
/^\.TH/s#[0-9]\{4\}-[0-9]\{2\}-[0-9]\{2\}#$date#
s#[0-9]\{1,\}\.[0-9]\{1,\}\.[0-9]\{1,\}#$version#
p
w
q
!
done