Lines Matching refs:dvidir
661 dvidir
743 dvidir='${docdir}'
826 -dvidir | --dvidir | --dvidi | --dvid | --dvi | --dv)
827 ac_prev=dvidir ;;
828 -dvidir=* | --dvidir=* | --dvidi=* | --dvid=* | --dvi=* | --dv=*)
829 dvidir=$ac_optarg ;;
1126 oldincludedir docdir infodir htmldir dvidir pdfdir psdir \
1290 --dvidir=DIR dvi documentation [DOCDIR]
Indexes created Thu Oct 23 22:10:10 GMT 2025