From 4c4396b49677bf66b266b33c3b3dfda727f9903b Mon Sep 17 00:00:00 2001
From: Sergey Matveev <stargrave@stargrave.org>
Date: Thu, 15 Jul 2021 15:02:42 +0300
Subject: [PATCH 1/1] Modern Texinfo makes texinavfix unneeded

---
 bin/bin/texinavfix.pl | 31 -------------------------------
 1 file changed, 31 deletions(-)
 delete mode 100755 bin/bin/texinavfix.pl

diff --git a/bin/bin/texinavfix.pl b/bin/bin/texinavfix.pl
deleted file mode 100755
index e14d808..0000000
--- a/bin/bin/texinavfix.pl
+++ /dev/null
@@ -1,31 +0,0 @@
-#!/usr/bin/env perl
-
-use strict;
-use warnings;
-
-my %rels;
-my $header = 0;
-my $printed = 0;
-
-while(<STDIN>){
-    ($rels{$2} = $1) if /^<link href="([^#]*)[^"]*" rel="([^"]*)" title/;
-    if(/<div class="header">$/){
-        print "$_<center><p>";
-        if(defined $rels{"prev"}){
-            print "<a href=\"$rels{'prev'}\" accesskey=\"p\" rel=\"prev\">[&lt;&lt;&lt;]</a>";
-        };
-        if(defined $rels{"up"}){
-            print "<a href=\"$rels{'up'}\" accesskey=\"u\" rel=\"up\">[^^^]</a>";
-        };
-        if(defined $rels{"next"}){
-            print "<a href=\"$rels{'next'}\" accesskey=\"n\" rel=\"next\">[&gt;&gt;&gt;]</a>";
-        };
-        $header++;
-    };
-    if($header && /^<.div>$/){
-        print "</p></center>$_";
-        $header--;
-    };
-    next if $header;
-    print;
-};
-- 
2.44.0