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);