annotate devel/update-manpage-date @ 226:7b70bf4f1f42

renamed misc/ to devel/ because the contents are for developers
author meillo@marmaro.de
date Fri, 23 Jul 2010 11:46:08 +0200 (2010-07-23)
parents misc/update-manpage-date@0976977ccc52
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
182
0976977ccc52 added a development helper script to update the date and version in man pages
meillo@marmaro.de
parents:
diff changeset
1 #!/bin/sh
0976977ccc52 added a development helper script to update the date and version in man pages
meillo@marmaro.de
parents:
diff changeset
2 #
0976977ccc52 added a development helper script to update the date and version in man pages
meillo@marmaro.de
parents:
diff changeset
3 # update the date and version of man pages
0976977ccc52 added a development helper script to update the date and version in man pages
meillo@marmaro.de
parents:
diff changeset
4
0976977ccc52 added a development helper script to update the date and version in man pages
meillo@marmaro.de
parents:
diff changeset
5 if [ $# -lt 2 ] ; then
0976977ccc52 added a development helper script to update the date and version in man pages
meillo@marmaro.de
parents:
diff changeset
6 echo "usage: update-manpage-header VERSION FILES..." >&2
0976977ccc52 added a development helper script to update the date and version in man pages
meillo@marmaro.de
parents:
diff changeset
7 exit 1
0976977ccc52 added a development helper script to update the date and version in man pages
meillo@marmaro.de
parents:
diff changeset
8 fi
0976977ccc52 added a development helper script to update the date and version in man pages
meillo@marmaro.de
parents:
diff changeset
9
0976977ccc52 added a development helper script to update the date and version in man pages
meillo@marmaro.de
parents:
diff changeset
10
0976977ccc52 added a development helper script to update the date and version in man pages
meillo@marmaro.de
parents:
diff changeset
11 date=`date +%Y-%m-%d`
0976977ccc52 added a development helper script to update the date and version in man pages
meillo@marmaro.de
parents:
diff changeset
12
0976977ccc52 added a development helper script to update the date and version in man pages
meillo@marmaro.de
parents:
diff changeset
13 version="$1"
0976977ccc52 added a development helper script to update the date and version in man pages
meillo@marmaro.de
parents:
diff changeset
14 shift
0976977ccc52 added a development helper script to update the date and version in man pages
meillo@marmaro.de
parents:
diff changeset
15
0976977ccc52 added a development helper script to update the date and version in man pages
meillo@marmaro.de
parents:
diff changeset
16 for i do
0976977ccc52 added a development helper script to update the date and version in man pages
meillo@marmaro.de
parents:
diff changeset
17 ed -s "$i" <<!
0976977ccc52 added a development helper script to update the date and version in man pages
meillo@marmaro.de
parents:
diff changeset
18 /^\.TH/s#[0-9]\{4\}-[0-9]\{2\}-[0-9]\{2\}#$date#
0976977ccc52 added a development helper script to update the date and version in man pages
meillo@marmaro.de
parents:
diff changeset
19 s#[0-9]\{1,\}\.[0-9]\{1,\}\.[0-9]\{1,\}#$version#
0976977ccc52 added a development helper script to update the date and version in man pages
meillo@marmaro.de
parents:
diff changeset
20 p
0976977ccc52 added a development helper script to update the date and version in man pages
meillo@marmaro.de
parents:
diff changeset
21 w
0976977ccc52 added a development helper script to update the date and version in man pages
meillo@marmaro.de
parents:
diff changeset
22 q
0976977ccc52 added a development helper script to update the date and version in man pages
meillo@marmaro.de
parents:
diff changeset
23 !
0976977ccc52 added a development helper script to update the date and version in man pages
meillo@marmaro.de
parents:
diff changeset
24 done