    verbatim_end       93 htags/common.c const char *verbatim_end	= "</pre>";
    verbatim_end      185 htags/common.c 	verbatim_end		= "</pre>";
    verbatim_end      641 htags/common.c 	return table_list ? table_end : verbatim_end;
    verbatim_end       71 htags/common.h extern const char *verbatim_end;
    verbatim_end      825 htags/fileindex.c 			fputs_nl(verbatim_end, INCLUDE);
    verbatim_end      412 htags/htags.c                  {"@verbatim_end@", verbatim_end},
    verbatim_end      580 htags/htags.c  		fputs_nl(verbatim_end, op);
    verbatim_end      747 htags/src2html.c 		fputs_nl(verbatim_end, out);
    verbatim_end      861 htags/src2html.c 		fputs_nl(verbatim_end, out);