From 8e2c9457a255a2be64f7857638ed60bb8e2a724f Mon Sep 17 00:00:00 2001
From: Fred Drake <fdrake@acm.org>
Date: Mon, 11 Jan 1999 22:30:34 +0000
Subject: [PATCH] output_body():  For <address> elements, just skip, since
 they're 	always part of the page trailer.

---
 Doc/tools/html2texi.pl | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/Doc/tools/html2texi.pl b/Doc/tools/html2texi.pl
index cf3595f1f86..740a7e401f7 100755
--- 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")