Lines Matching refs:dvidir
1330 dvidir
1433 dvidir='${docdir}'
1516 -dvidir | --dvidir | --dvidi | --dvid | --dvi | --dv)
1517 ac_prev=dvidir ;;
1518 -dvidir=* | --dvidir=* | --dvidi=* | --dvid=* | --dvi=* | --dv=*)
1519 dvidir=$ac_optarg ;;
1821 oldincludedir docdir infodir htmldir dvidir pdfdir psdir \
1992 --dvidir=DIR dvi documentation [DOCDIR]