From 07cd8973baf8b0e135eb4b2248cb35bfc4413bfa Mon Sep 17 00:00:00 2001
From: Eric Wong <e@80x24.org>
Date: Mon, 6 Dec 2021 20:55:59 +0000
Subject: Makefile.PL: fix useless use of push

---
 Makefile.PL | 1 -
 1 file changed, 1 deletion(-)

(limited to 'Makefile.PL')

diff --git a/Makefile.PL b/Makefile.PL
index cde6194b..28e51ffa 100644
--- 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 = $_;
-- 
cgit v1.2.3-24-ge0c7