Lines Matching refs:htmldir
630 htmldir
705 htmldir='${docdir}'
835 -htmldir | --htmldir | --htmldi | --htmld | --html | --htm | --ht)
836 ac_prev=htmldir ;;
837 -htmldir=* | --htmldir=* | --htmldi=* | --htmld=* | --html=* | --htm=* \
839 htmldir=$ac_optarg ;;
1089 oldincludedir docdir infodir htmldir dvidir pdfdir psdir \
1252 --htmldir=DIR html documentation [DOCDIR]
Indexes created Sat Apr 25 00:22:52 UTC 2026