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
26
27
28
29
30
31
32
33
34
35
36
| src=$1
path=`pwd | sed 's|.*/src|/src|'`
grep "incl $path/$src" \
$BASILISK/*.tags \
$BASILISK/navier-stokes/*.tags \
$BASILISK/examples/*.tags \
$BASILISK/test/*.tags | \
awk -v basilisk=$BASILISK '
function title(fname) {
if (getline <fname < 0)
fname = fname ".page";
if (getline <fname < 0)
return "";
while ($1 != "#") {
status = getline <fname;
if (status == 0)
return fname;
}
gsub("# ", "", $0);
gsub("*/$", "", $0);
gsub("\"\"\"$", "", $0);
return $0;
}
{
gsub(basilisk, "", $1);
gsub(".tags:.*", "", $1);
used = "/src" $1;
if (!already[used]) {
lineno = $4;
t = title(basilisk $1);
if (t != "") {
print "used " t "\t" used " " lineno;
already[used] = 1;
}
}
}'
|
