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