gen_page_index_begin  138 htags/common.h const char *gen_page_index_begin(const char *, const char *);
gen_page_index_begin  744 htags/fileindex.c 	fputs_nl(gen_page_index_begin(title_file_index, jscode), filesop);
gen_page_index_begin  807 htags/htags.c  		fputs_nl(gen_page_index_begin(title, jscode), op);
gen_page_index_begin  834 htags/htags.c  	fputs_nl(gen_page_index_begin(title, jscode), op);
gen_page_index_begin  859 htags/htags.c  	fputs_nl(gen_page_index_begin("SEARCH", jscode), op);