Lines Matching refs:dvidir
679 dvidir
766 dvidir='${docdir}'
847 -dvidir | --dvidir | --dvidi | --dvid | --dvi | --dv)
848 ac_prev=dvidir ;;
849 -dvidir=* | --dvidir=* | --dvidi=* | --dvid=* | --dvi=* | --dv=*)
850 dvidir=$ac_optarg ;;
1156 oldincludedir docdir infodir htmldir dvidir pdfdir psdir \
1321 --dvidir=DIR dvi documentation [DOCDIR]
Indexes created Sun Apr 26 00:22:38 UTC 2026