    body_end           59 htags/common.c const char *body_end		= "</body>";
    body_end          151 htags/common.c 	body_end		= "</body>";
    body_end           43 htags/common.h extern const char *body_end;
    body_end          131 htags/defineindex.c 				fputs_nl(body_end, ALPHA);
    body_end          279 htags/defineindex.c 		fputs_nl(body_end, ALPHA);
    body_end          296 htags/defineindex.c 	fputs_nl(body_end, DEFINES);
    body_end          109 htags/dupindex.c 						fputs_nl(body_end, op);
    body_end          170 htags/dupindex.c 				fputs_nl(body_end, op);
    body_end          534 htags/fileindex.c 	fputs_nl(body_end, op);
    body_end          729 htags/fileindex.c 	fputs_nl(body_end, filesop);
    body_end          826 htags/fileindex.c 			fputs_nl(body_end, INCLUDE);
    body_end          868 htags/fileindex.c 			fputs_nl(body_end, INCLUDE);
    body_end          404 htags/htags.c                  {"@body_end@", body_end},
    body_end          605 htags/htags.c  	fputs_nl(body_end, op);
    body_end          713 htags/htags.c  		fputs_nl(body_end, op);
    body_end          725 htags/htags.c  		fputs_nl(body_end, op);
    body_end          752 htags/htags.c  	fputs_nl(body_end, op);
    body_end          773 htags/htags.c  	fputs_nl(body_end, op);
    body_end         1187 htags/htags.c  			body_end = q;
    body_end          876 htags/src2html.c 	fputs_nl(body_end, out);