| … | |
… | |
| 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 | { |
Parent Directory
| 
Revision Log
| 
Patch