From: Sergey Matveev <stargrave@stargrave.org>
Date: Mon, 1 Mar 2021 11:57:30 +0000 (+0300)
Subject: New texinfo uses slightly different template
X-Git-Url: http://www.git.stargrave.org/?p=dotfiles.git;a=commitdiff_plain;h=6844129e5198be5c91bacc2787894e27b0092c0b

New texinfo uses slightly different template
---

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>";