diff options
Diffstat (limited to 'src/info2html/html.c')
-rw-r--r-- | src/info2html/html.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/info2html/html.c b/src/info2html/html.c index 90c2e2fb..802a4b87 100644 --- a/src/info2html/html.c +++ b/src/info2html/html.c @@ -202,10 +202,10 @@ void html_error( char *s, char *p, char *q ) void dump_html_for_node( NODE *node ) { - char *destdir; - char *destfile; +/* char *destdir; */ +/* char *destfile; */ char *escaped_nodename; - char *converted_nodename; +/* char *converted_nodename; */ char *contents_start, *contents_end; char *header_name; char *p, *q, *r, *skippnt; |