diff options
Diffstat (limited to 'Doc/tools/html2texi.pl')
| -rwxr-xr-x | Doc/tools/html2texi.pl | 4 |
1 files changed, 4 insertions, 0 deletions
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 @@ 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") |