--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/devel/update-manpage-date	Fri Jul 23 11:46:08 2010 +0200
@@ -0,0 +1,24 @@
+#!/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