1 files changed, 0 insertions, 16 deletions
diff --git a/Build/tools/tpm-by-size b/Build/tools/tpm-by-size
deleted file mode 100755
index a1dde1fcc70..00000000000
--- a/Build/tools/tpm-by-size
+++ /dev/null
@@ -1,16 +0,0 @@
-#!/bin/sh
-# $Id: //depot/Master/Tools/tpm-by-size#1 $
-# Public domain.  Originally written 2004, Karl Berry.
-# 
-# Simplistic script to get an idea of the biggest space consumers.
-# Just looks at the size fields in the tpm files.
-
-mydir=`dirname $0`
-cd $mydir/.. || exit 1  # assume invoked from Master/Tools
-
-find texmf*/tpm -type f \
-| xargs grep '<TPM:Size>' \
-| sed -e 's/<TPM:Size>/ /' -e 's,</TPM:Size>,,' -e 's,\.tpm:,,' \
-| awk '    {printf "%7d %s\n", $2/1024, $1; total+=$2} 
-       END {printf "%7d total\n", total/1024}' \
-| sort -nr