1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
#!/bin/sh -e
awk '
BEGIN {
debug = 0
}
/<manvolnum>/ && !manvolnum {
manvolnum = $0
gsub(/[^0-9]*/, "", manvolnum)
if (debug) print "manvolnum:", manvolnum >> "/dev/stderr"
}
/<refname>/ {
refname = $0
if (debug) print "refname:", refname >> "/dev/stderr"
sub(/[^>]*>/, "", refname)
if (debug) print "refname:", refname >> "/dev/stderr"
sub(/<.*/, "", refname)
if (debug) print "refname:", refname >> "/dev/stderr"
gsub(/ /, "_", refname)
if (debug) print "refname:", refname >> "/dev/stderr"
print refname "." manvolnum
}
' $@
|
