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 /*