Lines Matching refs:htmldir
793 htmldir
905 htmldir='${docdir}'
1035 -htmldir | --htmldir | --htmldi | --htmld | --html | --htm | --ht)
1036 ac_prev=htmldir ;;
1037 -htmldir=* | --htmldir=* | --htmldi=* | --htmld=* | --html=* | --htm=* \
1039 htmldir=$ac_optarg ;;
1289 oldincludedir docdir infodir htmldir dvidir pdfdir psdir \
1452 --htmldir=DIR html documentation [DOCDIR]
Indexes created Mon Oct 13 01:09:56 GMT 2025