output_body(): For <address> elements, just skip, since they're

	always part of the page trailer.

diff --git a/Doc/tools/html2texi.pl b/Doc/tools/html2texi.pl
index cf3595f1f8600e8eca9019a77e2cec311544441e..740a7e401f703aee6b7d4476a2883abfedc7c025 100755 (executable)
--- a/Doc/tools/html2texi.pl
+++ b/Doc/tools/html2texi.pl
@@ -796,6 +796,10 @@ sub output_body ( $$$ )
              warn "Can't deal with internal HREF anchors yet"; }
        }
     }
+  elsif ($tag eq "address")
+    { # this is part of the page footer, ignore
+       return 0;
+    }
   elsif ($tag eq "br")
     { print TEXI "\@\n"; }
   elsif ($tag eq "body")