Lines Matching refs:dvidir
632 dvidir
709 dvidir='${docdir}'
792 -dvidir | --dvidir | --dvidi | --dvid | --dvi | --dv)
793 ac_prev=dvidir ;;
794 -dvidir=* | --dvidir=* | --dvidi=* | --dvid=* | --dvi=* | --dv=*)
795 dvidir=$ac_optarg ;;
1092 oldincludedir docdir infodir htmldir dvidir pdfdir psdir \
1256 --dvidir=DIR dvi documentation [DOCDIR]
Indexes created Tue Apr 21 00:23:25 UTC 2026