diff --git a/src/etc/check-links.pl b/src/etc/check-links.pl deleted file mode 100755 index 3818c0f8401..00000000000 --- a/src/etc/check-links.pl +++ /dev/null @@ -1,34 +0,0 @@ -#!/usr/bin/perl -w -# Copyright 2014 The Rust Project Developers. See the COPYRIGHT -# file at the top-level directory of this distribution and at -# http://rust-lang.org/COPYRIGHT. -# -# Licensed under the Apache License, Version 2.0 or the MIT license -# , at your -# option. This file may not be copied, modified, or distributed -# except according to those terms. - -my $file = $ARGV[0]; - -my @lines = <>; - -my $anchors = {}; - -my $i = 0; -for $line (@lines) { - $i++; - if ($line =~ m/id="([^"]+)"/) { - $anchors->{$1} = $i; - } -} - -$i = 0; -for $line (@lines) { - $i++; - while ($line =~ m/href="#([^"]+)"/g) { - if (! exists($anchors->{$1})) { - print "$file:$i: $1 referenced\n"; - } - } -}