diff --git a/scripts/find-javadoc-error.pl b/scripts/find-javadoc-error.pl
deleted file mode 100755
index 12bede4313..0000000000
--- a/scripts/find-javadoc-error.pl
+++ /dev/null
@@ -1,15 +0,0 @@
-#!/usr/bin/perl
-
-use strict;
-use warnings;
-
-my $active = 0;
-my $print = 0;
-while (<>) {
-  $active = 1, next if /Generating.*\.html/;
-  $active = 0, next if /Genjavadoc Java API documentation successful\./;
-  $print = 1 if /^\[error].*error:/;
-  $print = 0 if /warning:/;
-  print if $active && $print;
-}
-