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

freddrake · freddrake · commit 8e2c9457a255 · 1999-01-11T22:30:34.000Z
always part of the page trailer.
diff --git 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")

Original file line number	Diff line number	Diff line change
`@@ -796,6 +796,10 @@ ( $$$ )`
`796`	`796`	`warn "Can't deal with internal HREF anchors yet"; }`
`797`	`797`	`}`
`798`	`798`	`}`
	`799`	`+ elsif ($tag eq "address")`
	`800`	`+ { # this is part of the page footer, ignore`
	`801`	`+ return 0;`
	`802`	`+ }`
`799`	`803`	`elsif ($tag eq "br")`
`800`	`804`	`{ print TEXI "\@\n"; }`
`801`	`805`	`elsif ($tag eq "body")`