    define_index      757 htags/src2html.c         if (notsource) {
    define_index      809 htags/src2html.c 				if (p == NULL)
    define_index      814 htags/src2html.c 				dir = NULL;
    define_index      815 htags/src2html.c 				file = path2fid(filename);
    define_index      816 htags/src2html.c
    define_index      817 htags/src2html.c 				suffix = HTML;
    define_index      818 htags/src2html.c 				key = lno;
    define_index      821 htags/src2html.c 			fputs(gen_href_begin_with_title(dir, file, suffix, key, title), out);
    define_index      827 htags/src2html.c 		/*