Lines Matching refs:dvidir
629 dvidir
706 dvidir='${docdir}'
789 -dvidir | --dvidir | --dvidi | --dvid | --dvi | --dv)
790 ac_prev=dvidir ;;
791 -dvidir=* | --dvidir=* | --dvidi=* | --dvid=* | --dvi=* | --dv=*)
792 dvidir=$ac_optarg ;;
1089 oldincludedir docdir infodir htmldir dvidir pdfdir psdir \
1253 --dvidir=DIR dvi documentation [DOCDIR]
Indexes created Thu Apr 16 00:22:31 UTC 2026