707 |
/* |
/* |
708 |
* print the header |
* print the header |
709 |
*/ |
*/ |
710 |
|
if (insert_header) |
711 |
|
fputs(gen_insert_header(SUBDIR), out); |
712 |
fputs(gen_name_string("TOP"), out); |
fputs(gen_name_string("TOP"), out); |
713 |
fputs(header_begin, out); |
fputs(header_begin, out); |
714 |
fputs(fill_anchor(indexlink, src), out); |
fputs(fill_anchor(indexlink, src), out); |
896 |
fprintf(out, "%s[+%d %s]%s", position_begin, last_lineno, src, position_end); |
fprintf(out, "%s[+%d %s]%s", position_begin, last_lineno, src, position_end); |
897 |
fputs(" */", out); |
fputs(" */", out); |
898 |
fputs_nl(comment_end, out); |
fputs_nl(comment_end, out); |
899 |
|
if (insert_footer) |
900 |
|
fputs(gen_insert_footer(SUBDIR), out); |
901 |
fputs_nl(body_end, out); |
fputs_nl(body_end, out); |
902 |
fputs_nl(gen_page_end(), out); |
fputs_nl(gen_page_end(), out); |
903 |
if (!notsource) |
if (!notsource) |