html_end           53 htags/common.c const char *html_end		= "</html>";
html_end          145 htags/common.c 	html_end		= "</html>";
html_end          374 htags/common.c  */
html_end           37 htags/common.h extern const char *html_end;