) {
$line =~ s/href="([^"]+)"/href="view_doc.cgi?file=$dir\/$1"/ig;
$line =~ s/href='([^']+)'/href='view_doc.cgi?file=$dir\/$1'/ig;
$line =~ s/href=([^'"\s>]+)/href='view_doc.cgi?file=$dir\/$1'/ig;
$out .= $line;
}
}
else {
# Display text file
$out .= "";
@for = split(/\s+/, $in{'for'});
while($line = ) {
$line = &html_escape($line);
foreach $f (@for) {
$line =~ s/($f)/$1<\/b>/ig;
}
$out .= $line;
}
$out .= "";
}
close(FILE);
&show_view_table(&text('kernel_header', $in{'file'}), $out);
&ui_print_footer("", $text{'index_return'});