diff --git a/gpAux/releng/NON_PRODUCTION_FILES.txt b/gpAux/releng/NON_PRODUCTION_FILES.txt
index 511c03c6e73ae3f90b64149a01f49f6576bd3d16..e69de29bb2d1d6434b8b29ae775ad8c2e48c5391 100644
--- a/gpAux/releng/NON_PRODUCTION_FILES.txt
+++ b/gpAux/releng/NON_PRODUCTION_FILES.txt
@@ -1,3 +0,0 @@
-bin/explain.pl
-bin/explain.pm
-bin/gptorment.pl