Searched refs:texindex_options (Results 1 – 1 of 1) sorted by relevance
247 TEXINDEX_OPTION texindex_options[] = { variable275 for (i = 0; texindex_options[i].long_name; i++) in usage()279 if (texindex_options[i].short_name) in usage()280 fprintf (f, "%s, ", texindex_options[i].short_name); in usage()283 texindex_options[i].long_name, in usage()284 texindex_options[i].arg_name in usage()285 ? texindex_options[i].arg_name : ""); in usage()287 fprintf (f, "\t%s\n", _(texindex_options[i].doc_string)); in usage()