diff --git a/tools/make_disc_trees.pl b/tools/make_disc_trees.pl
index 94d3d128..c3e492ee 100755
--- a/tools/make_disc_trees.pl
+++ b/tools/make_disc_trees.pl
@@ -647,11 +647,13 @@ sub recompress {
 
 	# Packages and Sources files; workaround for bug #402482
 	if ($filename =~ m/\/.*\/(Packages|Sources)$/o) {
+		print "    Recompressing $filename\n";
 		system("gzip -9c < $_ >$_.gz");
 	}
 	# Translation files need to be compressed in .gz format on CD?
 	if ($filename =~ m/\/.*\/i18n\/(Translation.*)$/o &&
 		! ($filename =~ m/\/.*\/i18n\/(Translation.*gz)$/o)) {
+		print "    Recompressing $filename\n";
 		system("gzip -9c < $_ >$_.gz");
 	}
 }