Lines Matching refs:dvidir
589 dvidir
720 dvidir='${docdir}'
795 -dvidir | --dvidir | --dvidi | --dvid | --dvi | --dv)
796 ac_prev=dvidir ;;
797 -dvidir=* | --dvidir=* | --dvidi=* | --dvid=* | --dvi=* | --dv=*)
798 dvidir=$ac_optarg ;;
1067 oldincludedir docdir infodir htmldir dvidir pdfdir psdir \
1231 --dvidir=DIR dvi documentation [DOCDIR]
4553 dvidir!$dvidir$ac_delim
Indexes created Tue Apr 07 00:22:49 UTC 2026