1 | #!/bin/sh |
1 | #! /bin/sh |
2 | |
2 | |
3 | function generate_links |
3 | generate_links() |
4 | { |
4 | { |
5 | local index_file name file lineno |
5 | #local index_file name file lineno |
6 | |
6 | |
7 | index_file="$1" |
7 | index_file="$1" |
8 | |
8 | |
9 | command='sed ' |
9 | command='sed ' |
10 | { |
10 | { |
… | |
… | |
15 | } < "$index_file" |
15 | } < "$index_file" |
16 | |
16 | |
17 | eval "$command" |
17 | eval "$command" |
18 | } |
18 | } |
19 | |
19 | |
20 | function generate_headers |
20 | generate_headers() |
21 | { |
21 | { |
22 | local index_file name this_file |
22 | # local index_file name this_file |
23 | |
23 | |
24 | index_file="$1" |
24 | index_file_generate_headers="$1" |
25 | this_file=`echo $2 | sed 's,.*/,,' | sed 's,\..*$,,'` |
25 | this_file_generate_headers=`echo $2 | sed 's,.*/,,' | sed 's,\..*$,,'` |
26 | |
26 | |
27 | name=`grep "^$this_file" "$index_file" | head -1 | sed s,'^[^ ]* [^ ]* ,,'` |
27 | name_generate_headers=`grep "^$this_file_generate_headers" "$index_file_generate_headers" | head -1 | sed s,'^[^ ]* [^ ]* ,,'` |
28 | sed 's,<HTML>,<HTML>\ |
28 | sed 's,<HTML>,<HTML>\ |
29 | <HEAD>\ |
29 | <HEAD>\ |
30 | <TITLE>'"$name"'</TITLE>\ |
30 | <TITLE>'"$name_generate_headers"'</TITLE>\ |
31 | </HEAD>,' |
31 | </HEAD>,' |
32 | } |
32 | } |
33 | |
33 | |
34 | |
34 | |
35 | cat "$2" | generate_links "$1" | generate_headers "$1" "$2" |
35 | cat "$2" | generate_links "$1" | generate_headers "$1" "$2" |