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