Lines Matching refs:html
860 -htmldir | --htmldir | --htmldi | --htmld | --html | --htm | --ht)
862 -htmldir=* | --htmldir=* | --htmldi=* | --htmld=* | --html=* | --htm=* \
1256 --htmldir=DIR html documentation [DOCDIR]
7038 http://www.gnu.org/software/flex/flex.html ." >&5
7042 http://www.gnu.org/software/flex/flex.html ." >&2;}
