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