Lines Matching refs:dvidir
651 dvidir
732 dvidir='${docdir}'
815 -dvidir | --dvidir | --dvidi | --dvid | --dvi | --dv)
816 ac_prev=dvidir ;;
817 -dvidir=* | --dvidir=* | --dvidi=* | --dvid=* | --dvi=* | --dv=*)
818 dvidir=$ac_optarg ;;
1115 oldincludedir docdir infodir htmldir dvidir pdfdir psdir \
1279 --dvidir=DIR dvi documentation [DOCDIR]
Indexes created Sun Mar 01 05:31:48 UTC 2026