Searched defs:html_label (Results 1 – 1 of 1) sorted by relevance
466 print_line(prefix(3) "<A NAME=\"" html_label() "\">") function663 function html_label( label) function693 HTML_TOC = HTML_TOC " <A HREF=\"#" html_label() "\">" function