X-Git-Url: http://www.git.stargrave.org/?a=blobdiff_plain;f=bin%2Fbin%2Ftexinavfix.pl;h=e14d808fcc7690d370a1b9a827092deafbd06a78;hb=HEAD;hp=b82a85e7e34ddd09313b3951dc1c6a605ffa6644;hpb=d2e5cc8ecae8174df5a584931c0e839577c4efbd;p=dotfiles.git

diff --git a/bin/bin/texinavfix.pl b/bin/bin/texinavfix.pl
deleted file mode 100755
index b82a85e..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'}\">[&lt;&lt;&lt;]</a>";
-        };
-        if(defined $rels{"up"}){
-            print "<a href=\"$rels{'up'}\">[^^^]</a>";
-        };
-        if(defined $rels{"next"}){
-            print "<a href=\"$rels{'next'}\">[&gt;&gt;&gt;]</a>";
-        };
-        $header++;
-    };
-    if($header && /^<.div>$/){
-        print "</p></center>$_";
-        $header--;
-    };
-    next if $header;
-    print;
-};