Lines Matching refs:htmldir
718 htmldir
827 htmldir='${docdir}'
956 -htmldir | --htmldir | --htmldi | --htmld | --html | --htm | --ht)
957 ac_prev=htmldir ;;
958 -htmldir=* | --htmldir=* | --htmldi=* | --htmld=* | --html=* | --htm=* \
960 htmldir=$ac_optarg ;;
1210 oldincludedir docdir infodir htmldir dvidir pdfdir psdir \
1375 --htmldir=DIR html documentation [DOCDIR]
14843 # Set a more sensible default value for $(htmldir).
14844 if test "x$htmldir" = 'x${docdir}'
14846 htmldir='${docdir}/html'
