Modern Texinfo makes texinavfix unneeded

diff --git a/bin/bin/texinavfix.pl b/bin/bin/texinavfix.pl
deleted file mode 100755 (executable)
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;
-};