New texinfo uses slightly different template

diff --git a/bin/bin/texinavfix.pl b/bin/bin/texinavfix.pl
index 69953f5d3d083ba48b507e3ef08ff5609fde6566..e14d808fcc7690d370a1b9a827092deafbd06a78 100755 (executable)
--- a/bin/bin/texinavfix.pl
+++ b/bin/bin/texinavfix.pl
@@ -9,7 +9,7 @@ my $printed = 0;
 
 while(<STDIN>){
     ($rels{$2} = $1) if /^<link href="([^#]*)[^"]*" rel="([^"]*)" title/;
-    if(/^<div class="header">$/){
+    if(/<div class="header">$/){
         print "$_<center><p>";
         if(defined $rels{"prev"}){
             print "<a href=\"$rels{'prev'}\" accesskey=\"p\" rel=\"prev\">[&lt;&lt;&lt;]</a>";