Symbol: HTML_TOCDONE
usr.bin/mandoc/mdoc_html.c
537
h->flags & HTML_TOCDONE ||
usr.bin/mandoc/mdoc_html.c
542
h->flags |= HTML_TOCDONE;