html_end           53 htags/common.c const char *html_end		= "</html>";
html_end          415 htags/common.c 	return html_end;
html_end           48 htags/common.h extern const char *html_end;
html_end          429 htags/htags.c  	fputs(html_end, op);