From 6844129e5198be5c91bacc2787894e27b0092c0b Mon Sep 17 00:00:00 2001
From: Sergey Matveev <stargrave@stargrave.org>
Date: Mon, 1 Mar 2021 14:57:30 +0300
Subject: [PATCH] New texinfo uses slightly different template

---
 bin/bin/texinavfix.pl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bin/bin/texinavfix.pl b/bin/bin/texinavfix.pl
index 69953f5..e14d808 100755
--- 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>";
-- 
2.44.0