Makefile.PL: fix useless use of push

diff --git a/Makefile.PL b/Makefile.PL
index cde6194bc54a494ea53b90bf0e607eee79214eba..28e51ffa0f08109b9224c514727862b5174e2994 100644 (file)
--- a/Makefile.PL
+++ b/Makefile.PL
@@ -92,7 +92,6 @@ for my $i (@sections) {
        push @{$v->{manuals}}, @$manuals;
        push @{$v->{mantxt}}, map { "Documentation/$_.txt" } @$ary;
 }
-push @dtxt;
 $v->{docs} = [ @dtxt, 'NEWS' ];
 $v->{docs_html} = [ map {;
                my $x = $_;