Lines Matching refs:dvidir
671 dvidir
758 dvidir='${docdir}'
841 -dvidir | --dvidir | --dvidi | --dvid | --dvi | --dv)
842 ac_prev=dvidir ;;
843 -dvidir=* | --dvidir=* | --dvidi=* | --dvid=* | --dvi=* | --dv=*)
844 dvidir=$ac_optarg ;;
1141 oldincludedir docdir infodir htmldir dvidir pdfdir psdir \
1305 --dvidir=DIR dvi documentation [DOCDIR]
Indexes created Thu Apr 23 00:23:13 UTC 2026