Lines Matching refs:dvidir
792 dvidir
906 dvidir='${docdir}'
989 -dvidir | --dvidir | --dvidi | --dvid | --dvi | --dv)
990 ac_prev=dvidir ;;
991 -dvidir=* | --dvidir=* | --dvidi=* | --dvid=* | --dvi=* | --dv=*)
992 dvidir=$ac_optarg ;;
1289 oldincludedir docdir infodir htmldir dvidir pdfdir psdir \
1453 --dvidir=DIR dvi documentation [DOCDIR]
Indexes created Sun Oct 26 21:10:03 GMT 2025