Lines Matching refs:dvidir
590 dvidir
653 dvidir='${docdir}'
728 -dvidir | --dvidir | --dvidi | --dvid | --dvi | --dv)
729 ac_prev=dvidir ;;
730 -dvidir=* | --dvidir=* | --dvidi=* | --dvid=* | --dvi=* | --dv=*)
731 dvidir=$ac_optarg ;;
1000 oldincludedir docdir infodir htmldir dvidir pdfdir psdir \
1164 --dvidir=DIR dvi documentation [DOCDIR]
2360 dvidir!$dvidir$ac_delim
