    title_define_index   74 htags/defineindex.c 	fputs_nl(gen_page_begin(title_define_index, TOPDIR), DEFINES);
    title_define_index   79 htags/defineindex.c 	fputs(title_define_index, DEFINES);
    title_define_index  144 htags/htags.c  const char *title_define_index = "DEFINITIONS";
    title_define_index  967 htags/htags.c  				strbuf_puts(sb, title_define_index);
    title_define_index  973 htags/htags.c  				strbuf_puts(sb, title_define_index);
    title_define_index  109 htags/htags.h  extern const char *title_define_index;
    title_define_index  823 htags/src2html.c 			fputs(gen_href_end(), out);