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