Lines Matching refs:dvidir
663 dvidir
741 dvidir='${docdir}'
822 -dvidir | --dvidir | --dvidi | --dvid | --dvi | --dv)
823 ac_prev=dvidir ;;
824 -dvidir=* | --dvidir=* | --dvidi=* | --dvid=* | --dvi=* | --dv=*)
825 dvidir=$ac_optarg ;;
1131 oldincludedir docdir infodir htmldir dvidir pdfdir psdir \
1296 --dvidir=DIR dvi documentation [DOCDIR]
Indexes created Mon Apr 06 00:22:49 UTC 2026