diff options
author | Philip Langdale <philipl@mail.utexas.edu> | 2002-04-07 18:10:02 +0000 |
---|---|---|
committer | Philip Langdale <philipl@src.gnome.org> | 2002-04-07 18:10:02 +0000 |
commit | cee0b6aadb9a50228418c0186243dbf2df744375 (patch) | |
tree | cd64ec45ebdf84c05327f522b68ad3b659b0943d | |
parent | 8eeb9242f851f0b67283962c5a326fa2db6f8bf5 (diff) | |
download | yelp-cee0b6aadb9a50228418c0186243dbf2df744375.tar.gz |
Uncommented code that generated header for html (including the page
2002-04-07 Philip Langdale <philipl@mail.utexas.edu>
* help-converters/info/html.c: Uncommented code that generated
header for html (including the page title). No idea why this
was commented out. Fixes bug #64495
-rw-r--r-- | src/info2html/html.c | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/info2html/html.c b/src/info2html/html.c index 80be2a68..7852bf19 100644 --- a/src/info2html/html.c +++ b/src/info2html/html.c @@ -160,7 +160,6 @@ void write_node_link_html( FILE *f, char *nodefile, char *refname, char *ref ) } /* write out top of a new html file */ -#if 0 void write_html_header( FILE *f, char *filename, char *nodename) { fprintf(f,"<!DOCTYPE HTML PUBLIC \"-//W3C/DTD HTML 3.2//EN\">\n"); @@ -171,7 +170,6 @@ void write_html_header( FILE *f, char *filename, char *nodename) fprintf(f,"</HEAD>\n"); fprintf(f,"<!-- conversion of file \"%s\", node \"%s\" -->\n",work_filename, work_node); } -#endif /* start of everything after html header */ void start_html_content( FILE *f ) |