Lines Matching refs:htmldir
602 htmldir
690 htmldir='${docdir}'
805 -htmldir | --htmldir | --htmldi | --htmld | --html | --htm | --ht)
806 ac_prev=htmldir ;;
807 -htmldir=* | --htmldir=* | --htmldi=* | --htmld=* | --html=* | --htm=* \
809 htmldir=$ac_optarg ;;
1038 oldincludedir docdir infodir htmldir dvidir pdfdir psdir \
1201 --htmldir=DIR html documentation [DOCDIR]
4231 htmldir!$htmldir$ac_delim