annotate misc/update-manpage-date @ 221:8742d2cee364

added a note to the long vs. int question in md5.h Solar Designer explained to me in privat conversation that the int had performed much better on some systems and that 16bit ints are very rare. Still I like using the long.
author meillo@marmaro.de
date Fri, 23 Jul 2010 10:53:04 +0200
parents 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