Lines Matching refs:texindex
68 TEX (or PDFTEX), and TEXINDEX environment variables are used to run
427 texindex=${MAKEINDEX:-makeindex}
436 # Assume a Texinfo file. Texinfo files need makeinfo, texindex and tex.
438 texindex=${TEXINDEX:-texindex}
549 # What we'll run texindex on -- exclude non-index files.
560 # Run texindex (or makeindex) on current index files. If they
565 if test -n "$texindex" && test -n "$index_files"; then
566 $verbose "Running $texindex $index_files ..."
567 if $texindex $index_files 2>&5 1>&2; then :; else
568 echo "$0: $texindex exited with bad status, quitting." >&2
617 # differs, because we'll have to run texindex & tex again no
