Lines Matching refs:dvidir
603 dvidir
728 dvidir='${docdir}'
803 -dvidir | --dvidir | --dvidi | --dvid | --dvi | --dv)
804 ac_prev=dvidir ;;
805 -dvidir=* | --dvidir=* | --dvidi=* | --dvid=* | --dvi=* | --dv=*)
806 dvidir=$ac_optarg ;;
1075 oldincludedir docdir infodir htmldir dvidir pdfdir psdir \
1239 --dvidir=DIR dvi documentation [DOCDIR]
3406 dvidir!$dvidir$ac_delim
Indexes created Fri Sep 25 00:27:33 UTC 2026