Lines Matching refs:htmldir
662 htmldir
742 htmldir='${docdir}'
872 -htmldir | --htmldir | --htmldi | --htmld | --html | --htm | --ht)
873 ac_prev=htmldir ;;
874 -htmldir=* | --htmldir=* | --htmldi=* | --htmld=* | --html=* | --htm=* \
876 htmldir=$ac_optarg ;;
1126 oldincludedir docdir infodir htmldir dvidir pdfdir psdir \
1289 --htmldir=DIR html documentation [DOCDIR]
Indexes created Thu Oct 02 07:10:07 GMT 2025