From: Sergey Matveev <stargrave@stargrave.org>
Date: Thu, 15 Jul 2021 12:02:42 +0000 (+0300)
Subject: Modern Texinfo makes texinavfix unneeded
X-Git-Url: http://www.git.stargrave.org/?a=commitdiff_plain;ds=sidebyside;h=4c4396b49677bf66b266b33c3b3dfda727f9903b;p=dotfiles.git

Modern Texinfo makes texinavfix unneeded
---

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