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

  /src/external/gpl2/texinfo/dist/makeinfo/
node.c 711 char *polite_section_name = "top";
717 polite_section_name = section_alist[i].name;
723 node, COMMAND_PREFIX, polite_section_name);
707 char *polite_section_name = "top"; local

Completed in 57 milliseconds