… | |
… | |
3 | compute_command_line() |
3 | compute_command_line() |
4 | { |
4 | { |
5 | index_file="$1" |
5 | index_file="$1" |
6 | printf "sed " |
6 | printf "sed " |
7 | while read file lineno name; do |
7 | while read file lineno name; do |
8 | printf "-e %s " \''s,\['"$name"'\],<A NAME="'"$name"'">,g'\' |
8 | printf "%s %s " -e \''s,\['"$name"'\],<A NAME="'"$name"'">,g'\' |
9 | printf "-e %s " \''s,«'"$name"'»,<A HREF="'"$file"\#"$name"'">'"$name"'</A>,g'\' |
9 | printf "%s %s " -e \''s,«'"$name"'»,<A HREF="'"$file"\#"$name"'">'"$name"'</A>,g'\' |
10 | done < "$index_file" |
10 | done < "$index_file" |
11 | } |
11 | } |
12 | |
12 | |
13 | generate_links() |
13 | generate_links() |
14 | { |
14 | { |