    index_string       58 htags/defineindex.c 	const char *index_string = "Index Page";
    index_string       84 htags/defineindex.c 		fputs(gen_href_begin_with_title(NULL, indexlink, normal_suffix, NULL, index_string), DEFINES);
    index_string      125 htags/defineindex.c 				fputs(gen_href_begin_with_title(NULL, indexlink, normal_suffix, NULL, index_string), ALPHA);
    index_string      177 htags/defineindex.c 			fputs(gen_href_begin_with_title(NULL, indexlink, normal_suffix, NULL, index_string), ALPHA);
    index_string      273 htags/defineindex.c 		fputs(gen_href_begin_with_title(NULL, indexlink, normal_suffix, NULL, index_string), ALPHA);
    index_string      289 htags/defineindex.c 		fputs(gen_href_begin_with_title(NULL, "mains", normal_suffix, NULL, index_string), DEFINES);