Lines Matching refs:htmldir
1776 htmldir
1875 htmldir='${docdir}'
2005 -htmldir | --htmldir | --htmldi | --htmld | --html | --htm | --ht)
2006 ac_prev=htmldir ;;
2007 -htmldir=* | --htmldir=* | --htmldi=* | --htmld=* | --html=* | --htm=* \
2009 htmldir=$ac_optarg ;;
2259 oldincludedir docdir infodir htmldir dvidir pdfdir psdir \
2422 --htmldir=DIR html documentation [DOCDIR]
20272 if test "x$htmldir" = x; then
20273 htmldir='${docdir}'
