Searched refs:html_name (Results 1 – 3 of 3) sorted by relevance
1566 char *html_name, *directory_part, *basename_part, *temp; in convert_from_loaded_file() local1579 html_name = xmalloc (strlen (directory_part) in convert_from_loaded_file()1581 strcpy (html_name, directory_part); in convert_from_loaded_file()1582 strcat (html_name, basename_part); in convert_from_loaded_file()1583 strcat (html_name, html ? ".html" : ".xml"); in convert_from_loaded_file()1587 output_filename = html_name; in convert_from_loaded_file()
6101 my $html_name;6119 $html_name = $label . $spaces . "<i>" . $color_function_name . "</i>";6127 $html_name = "<i>" . $spaces . $color_function_name . "</i>";6129 push (@modified_html, $html_name);
6797 my $html_name;6815 $html_name = $label . $spaces . "<i>" . $color_function_name . "</i>";6823 $html_name = "<i>" . $spaces . $color_function_name . "</i>";6825 push (@modified_html, $html_name);