| commit | 8e2c9457a255a2be64f7857638ed60bb8e2a724f | [log] [tgz] |
|---|---|---|
| author | Fred Drake <fdrake@acm.org> | Mon Jan 11 22:30:34 1999 +0000 |
| committer | Fred Drake <fdrake@acm.org> | Mon Jan 11 22:30:34 1999 +0000 |
| tree | 47ae5c780110de9da70ca67516eecf6579c56585 | |
| parent | bb3b0028baf37fccbbca743698ade561d7a84fd3 [diff] [blame] |
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 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")