Searched refs:texindex_options (Results 1 – 1 of 1) sorted by relevance
225 TEXINDEX_OPTION texindex_options[] = { variable249 for (i = 0; texindex_options[i].long_name; i++) in usage()253 if (texindex_options[i].short_name) in usage()254 fprintf (f, "%s, ", texindex_options[i].short_name); in usage()257 texindex_options[i].long_name, in usage()258 texindex_options[i].arg_name in usage()259 ? texindex_options[i].arg_name : ""); in usage()261 fprintf (f, "\t%s\n", _(texindex_options[i].doc_string)); in usage()