annotate devel/update-manpage-date @ 378:5781ba87df95

Removed ident. This had been discussed on the mailing list in Oct 2011. Ident is hardly useful in typical setups for masqmail. Probably Oliver had used it in his setup; that would make sense. Now, I know of nobody who needs it.
author markus schnalke <meillo@marmaro.de>
date Sat, 14 Jan 2012 21:36:58 +0100
parents 7b70bf4f1f42
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