Home | History | Annotate | Download | only in dist

Lines Matching refs:htmldir

701 htmldir
783 htmldir='${docdir}'
911 -htmldir | --htmldir | --htmldi | --htmld | --html | --htm | --ht)
912 ac_prev=htmldir ;;
913 -htmldir=* | --htmldir=* | --htmldi=* | --htmld=* | --html=* | --htm=* \
915 htmldir=$ac_optarg ;;
1174 oldincludedir docdir infodir htmldir dvidir pdfdir psdir \
1338 --htmldir=DIR html documentation [DOCDIR]