view misc/update-manpage-date @ 201:138e66e1a61f

removed dns_getname() which was already commented seems as if one can use dns_getip() or dns_getmx() instead without problem their code is almost identical to the one of dns_getname() anyway
author meillo@marmaro.de
date Fri, 16 Jul 2010 13:08:29 +0200
parents 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