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

  /src/external/gpl2/texinfo/dist/util/
texindex.c 227 TEXINDEX_OPTION texindex_options[] = {
251 for (i = 0; texindex_options[i].long_name; i++)
255 if (texindex_options[i].short_name)
256 fprintf (f, "%s, ", texindex_options[i].short_name);
259 texindex_options[i].long_name,
260 texindex_options[i].arg_name
261 ? texindex_options[i].arg_name : "");
263 fprintf (f, "\t%s\n", _(texindex_options[i].doc_string));
225 TEXINDEX_OPTION texindex_options[] = { variable

Completed in 15 milliseconds