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

  /src/external/gpl2/texinfo/dist/makeinfo/
index.c 737 char *index_name;
738 get_rest_of_line (0, &index_name);
749 insert_string (index_name);
754 int command_len = sizeof ("@ ") + strlen (command) + strlen (index_name);
761 sprintf (index_command, "@%s %s", command, index_name);
779 index = index_list (index_name);
782 line_error (_("Unknown index `%s' in @printindex"), index_name);
783 free (index_name);
802 index_name);
852 index_name);
731 char *index_name; local
    [all...]
makeinfo.c 1443 static const char index_name[] = "index.html";
1446 const int index_len = sizeof (index_name) - 1;
1496 strcat (output_filename, index_name);
1438 static const char index_name[] = "index.html"; local

Completed in 25 milliseconds