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