blob: 39b807c13abc6e3c38d6834066cb049003481b4f (
plain)
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
37
38
39
40
41
42
43
44
45
46
47
48
49
50
|
#!/bin/bash
gawk '
/<div class="toc">/ {
print $0
getline #TODO: check this is the <ul> line
print $0
print "<li><a href=\".\">PBC Library Manual</a></li>"
getline
while (!match($0, "</div>")) {
print $0
getline
}
print "</div>"
exit
}
' < manual/index.html > toc.tmp
for a in manual/*.html
do
if [ $a != "manual/index.html" ]
then
#add " - PBC" to titles of all pages
sed '/<\/title>/ s/<\/title>/ - PBC&/' -i $a
sed '/<body/{n; r toc.tmp
a <div class="content">
} ' -i $a
sed '/^<\/body/i </div>' -i $a
fi
done
gawk '
/<div class="book"/ {
i = 0
for(;;) {
getline
if (match($0, "<div")) i++;
else if (match($0, "</div")) {
i--;
if (i < 0) break;
}
}
sub("</div>","")
}
{ print }
' < manual/index.html | sed '/<body/{n; r toc.tmp
a <div class="content">
r index.html
a </div>
} ' > tmp.tmp
mv tmp.tmp manual/index.html
rm toc.tmp
|
