diff options
author | John Fleck <jfleck@inkstain.net> | 2002-12-24 15:34:42 +0000 |
---|---|---|
committer | John Fleck <jfleck@src.gnome.org> | 2002-12-24 15:34:42 +0000 |
commit | 4e1b3e644aad3eb4b74268318acdcce5062198f1 (patch) | |
tree | afcd9674e20be7a977a0e091eaa3669ba56a8a86 | |
parent | dbc2329c4b8183745edd7ca826e1660a74797708 (diff) | |
download | yelp-4e1b3e644aad3eb4b74268318acdcce5062198f1.tar.gz |
help-converters/info/main.c output title, fixing bug #83905LIBGNOME_2_3_0LIBGNOME_2_2_0_1LIBGNOME_2_2_0LIBGNOME_2_1_90GNOME_2_2_BRANCHPOINT
2002-12-24 John Fleck <jfleck@inkstain.net>
* help-converters/info/main.c
output title, fixing bug #83905
-rw-r--r-- | src/info2html/main.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/info2html/main.c b/src/info2html/main.c index 9fafcb72..c7841f23 100644 --- a/src/info2html/main.c +++ b/src/info2html/main.c @@ -216,7 +216,7 @@ main(int argc, const char **argv) work_line_number = 0; /* hack, just send to stdout for now */ - fprintf(stdout, "<HTML><BODY>\n"); + g_print("<HTML><HEAD><TITLE>Info page for \"%s\"</TITLE></BODY><BODY>\n", argv[1]); /* big loop to identify sections of info files */ /* NEW PLAN - format on the fly */ |