# HG changeset patch
# User meillo@marmaro.de
# Date 1279133557 -7200
# Node ID d56914eb9f75544a571438ad48d4e17494f0e36a
# Parent  0e7601b8cebf036327ab448ada5ea12c8cb2648a
added a development helper script to update the date and version in man pages

diff -r 0e7601b8cebf -r d56914eb9f75 misc/update-manpage-date
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/misc/update-manpage-date	Wed Jul 14 20:52:37 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