1 |
frodo |
149 |
#! /bin/sh |
2 |
frodo |
2 |
|
3 |
frodo |
149 |
generate_links() |
4 |
frodo |
2 |
{ |
5 |
frodo |
149 |
#local index_file name file lineno |
6 |
frodo |
2 |
|
7 |
|
|
index_file="$1" |
8 |
|
|
|
9 |
|
|
command='sed ' |
10 |
|
|
{ |
11 |
|
|
while read file lineno name; do |
12 |
|
|
command="$command -e "\''s,\['"$name"'\],<A NAME="'"$name"'">,g'\' |
13 |
|
|
command="$command -e "\''s,«'"$name"'»,<A HREF="'"$file"\#"$name"'">'"$name"'</A>,g'\' |
14 |
|
|
done |
15 |
|
|
} < "$index_file" |
16 |
|
|
|
17 |
|
|
eval "$command" |
18 |
|
|
} |
19 |
|
|
|
20 |
frodo |
149 |
generate_headers() |
21 |
frodo |
2 |
{ |
22 |
frodo |
149 |
# local index_file name this_file |
23 |
frodo |
2 |
|
24 |
frodo |
149 |
index_file_generate_headers="$1" |
25 |
|
|
this_file_generate_headers=`echo $2 | sed 's,.*/,,' | sed 's,\..*$,,'` |
26 |
frodo |
2 |
|
27 |
frodo |
149 |
name_generate_headers=`grep "^$this_file_generate_headers" "$index_file_generate_headers" | head -1 | sed s,'^[^ ]* [^ ]* ,,'` |
28 |
frodo |
2 |
sed 's,<HTML>,<HTML>\ |
29 |
|
|
<HEAD>\ |
30 |
frodo |
149 |
<TITLE>'"$name_generate_headers"'</TITLE>\ |
31 |
frodo |
2 |
</HEAD>,' |
32 |
|
|
} |
33 |
|
|
|
34 |
|
|
|
35 |
|
|
cat "$2" | generate_links "$1" | generate_headers "$1" "$2" |