HomeSort by: relevance | last modified time | path
    Searched defs:basename_part (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;
1576 basename_part = filename_part (output_filename);
1579 temp = strrchr (basename_part, '.');
1585 + strlen (basename_part) + 6);
1587 strcat (html_name, basename_part);
1566 char *html_name, *directory_part, *basename_part, *temp; local
makeinfo.c 1571 char *html_name, *directory_part, *basename_part, *temp;
1576 basename_part = filename_part (output_filename);
1579 temp = strrchr (basename_part, '.');
1585 + strlen (basename_part) + 6);
1587 strcat (html_name, basename_part);
1566 char *html_name, *directory_part, *basename_part, *temp; local

Completed in 37 milliseconds