[Groff] small patch to fix space bug in html headings

[Gaius Mulley]

Hi Werner,

again thanks for reporting the bug you found while creating the
neat new web page. Here is a patch which fixes the problem,

Gaius

--- groff-cvs/src/devices/grohtml/post-html.cpp Sat Oct 30 12:11:00 2004
+++ groff-html/src/devices/grohtml/post-html.cpp        Wed Nov 17 14:37:10 2004
@@ -2489,23 +2489,23 @@
 void html_printer::do_heading (char *arg)
 {
   text_glob *g;
-  text_glob *l = 0;
   int  level=atoi(arg);
+  int  horiz;
 
   header.header_buffer.clear();
   page_contents->glyphs.move_right();
   if (! page_contents->glyphs.is_equal_to_head()) {
     g = page_contents->glyphs.get_data();
+    horiz = g->minh;
     do {
       if (g->is_auto_img()) {
        string img=generate_img_src((char *)(g->text_string + 20));
 
        if (! img.empty()) {
          simple_anchors = TRUE;  // we cannot use full heading anchors with 
images
-         if (l != 0)
+         if (horiz < g->minh)
            header.header_buffer += " ";
          
-         l = g;
          header.header_buffer += img;
        }
       }
@@ -2519,10 +2519,10 @@
        /*
         *  we ignore the other tag commands when constructing a heading
         */
-       if (l != 0)
+       if (horiz < g->minh)
          header.header_buffer += " ";
-       l = g;
 
+       horiz = g->maxh;
        header.header_buffer += string(g->text_string, g->text_length);
       }
       page_contents->glyphs.move_right();