Lines Matching refs:dvidir
682 dvidir
765 dvidir='${docdir}'
846 -dvidir | --dvidir | --dvidi | --dvid | --dvi | --dv)
847 ac_prev=dvidir ;;
848 -dvidir=* | --dvidir=* | --dvidi=* | --dvid=* | --dvi=* | --dv=*)
849 dvidir=$ac_optarg ;;
1155 oldincludedir docdir infodir htmldir dvidir pdfdir psdir \
1320 --dvidir=DIR dvi documentation [DOCDIR]
Indexes created Wed Oct 22 13:09:56 GMT 2025