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

always part of the page trailer.
1999-01-11 22:30:34 +00:00 · 1999-01-11 22:30:34 +00:00 · 8e2c9457a2
parent bb3b0028ba
commit 8e2c9457a2
1 changed files with 4 additions and 0 deletions
--- 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")