changeset 157:d56914eb9f75

added a development helper script to update the date and version in man pages
author meillo@marmaro.de
date Wed, 14 Jul 2010 20:52:37 +0200 (2010-07-14)
parents 0e7601b8cebf
children 014b9e01ce25
files misc/update-manpage-date
diffstat 1 files changed, 24 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- /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