meillo@182: #!/bin/sh
meillo@182: #
meillo@182: # update the date and version of man pages
meillo@182: 
meillo@182: if [ $# -lt 2 ] ; then
meillo@182: 	echo "usage: update-manpage-header VERSION FILES..." >&2
meillo@182: 	exit 1
meillo@182: fi
meillo@182: 
meillo@182: 
meillo@182: date=`date +%Y-%m-%d`
meillo@182: 
meillo@182: version="$1"
meillo@182: shift
meillo@182: 
meillo@182: for i do
meillo@182: 	ed -s "$i" <<!
meillo@182: /^\.TH/s#[0-9]\{4\}-[0-9]\{2\}-[0-9]\{2\}#$date#
meillo@182: s#[0-9]\{1,\}\.[0-9]\{1,\}\.[0-9]\{1,\}#$version#
meillo@182: p
meillo@182: w
meillo@182: q
meillo@182: !
meillo@182: done