Lines Matching refs:dvidir
724 dvidir
820 dvidir='${docdir}'
901 -dvidir | --dvidir | --dvidi | --dvid | --dvi | --dv)
902 ac_prev=dvidir ;;
903 -dvidir=* | --dvidir=* | --dvidi=* | --dvid=* | --dvi=* | --dv=*)
904 dvidir=$ac_optarg ;;
1210 oldincludedir docdir infodir htmldir dvidir pdfdir psdir \
1375 --dvidir=DIR dvi documentation [DOCDIR]
Indexes created Fri Apr 03 00:24:04 UTC 2026