Lines Matching refs:dvidir
695 dvidir
780 dvidir='${docdir}'
861 -dvidir | --dvidir | --dvidi | --dvid | --dvi | --dv)
862 ac_prev=dvidir ;;
863 -dvidir=* | --dvidir=* | --dvidi=* | --dvid=* | --dvi=* | --dv=*)
864 dvidir=$ac_optarg ;;
1170 oldincludedir docdir infodir htmldir dvidir pdfdir psdir \
1335 --dvidir=DIR dvi documentation [DOCDIR]
Indexes created Sat Oct 24 00:25:45 UTC 2026