HomeSort by: relevance | last modified time | path
    Searched defs:html_name (Results 1 - 2 of 2) sorted by relevancy

  /src/external/gpl2/texinfo/dist/makeinfo/
makeinfo.c 1571 char *html_name, *directory_part, *basename_part, *temp;
1584 html_name = xmalloc (strlen (directory_part)
1586 strcpy (html_name, directory_part);
1587 strcat (html_name, basename_part);
1588 strcat (html_name, html ? ".html" : ".xml");
1592 output_filename = html_name;
1566 char *html_name, *directory_part, *basename_part, *temp; local
makeinfo.c 1571 char *html_name, *directory_part, *basename_part, *temp;
1584 html_name = xmalloc (strlen (directory_part)
1586 strcpy (html_name, directory_part);
1587 strcat (html_name, basename_part);
1588 strcat (html_name, html ? ".html" : ".xml");
1592 output_filename = html_name;
1566 char *html_name, *directory_part, *basename_part, *temp; local

Completed in 48 milliseconds