# HG changeset patch
# User meillo@marmaro.de
# Date 1279137563 -7200
# Node ID 0976977ccc52ea4aee6c3d2c1d75cd7b4316290b
# Parent  8b17ea9fd17b6acef6850d3abaccd1d285e4cff3
added a development helper script to update the date and version in man pages

diff -r 8b17ea9fd17b -r 0976977ccc52 misc/update-manpage-date
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/misc/update-manpage-date	Wed Jul 14 21:59:23 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