Lines Matching refs:dvidir
588 dvidir
702 dvidir='${docdir}'
777 -dvidir | --dvidir | --dvidi | --dvid | --dvi | --dv)
778 ac_prev=dvidir ;;
779 -dvidir=* | --dvidir=* | --dvidi=* | --dvid=* | --dvi=* | --dv=*)
780 dvidir=$ac_optarg ;;
1049 oldincludedir docdir infodir htmldir dvidir pdfdir psdir \
1213 --dvidir=DIR dvi documentation [DOCDIR]
4708 dvidir!$dvidir$ac_delim
Indexes created Mon Jun 01 00:24:59 UTC 2026