diff --git a/tools/make_disc_trees.pl b/tools/make_disc_trees.pl index c4b4b74a..0d266ef5 100755 --- a/tools/make_disc_trees.pl +++ b/tools/make_disc_trees.pl @@ -652,7 +652,6 @@ sub recompress { if ($filename =~ m/\/.*\/i18n\/(Translation.*)$/o && ! ($filename =~ m/\/.*\/i18n\/(Translation.*gz)$/o)) { system("gzip -9c < $_ >$_.gz"); - unlink ($_); } }