diff --git a/Doc/tools/html2texi.pl b/Doc/tools/html2texi.pl
index cf3595f..740a7e4 100755
--- a/Doc/tools/html2texi.pl
+++ b/Doc/tools/html2texi.pl
@@ -796,6 +796,10 @@
 	      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")