html: extra <p> in footnote expansion

[Ralf Wildenhues]

In the HTML output of "makeinfo --html foo.texi", a @footnote generates
an extra unclosed <p> at the end of the pages:
   <p><hr></div>

   </body></html>

I think this is a bug -- tidy doesn't like it -- and it seems the patch
below fixes this.

Cheers,
Ralf

        * makeinfo/footnote.c (output_pending_notes): Use
        add_html_block_elt instead of add_word for final part of
        footnote, so no extra <p> is output.

Index: makeinfo/footnote.c
===================================================================
RCS file: /cvsroot/texinfo/texinfo/makeinfo/footnote.c,v
retrieving revision 1.8
diff -u -r1.8 footnote.c
--- makeinfo/footnote.c 15 May 2005 00:00:07 -0000      1.8
+++ makeinfo/footnote.c 6 Jun 2006 20:48:47 -0000
@@ -380,7 +380,7 @@
       }
 
     if (html)
-      add_word ("<hr></div>");
+      add_html_block_elt ("<hr></div>");
     close_paragraph ();
     free (array);