1 files changed, 0 insertions, 16 deletions
diff --git a/tools/make-table.sh b/tools/make-table.sh
deleted file mode 100755
index 5dbefb13..00000000
--- a/tools/make-table.sh
+++ /dev/null
@@ -1,16 +0,0 @@
-#!/bin/sh
-
-echo -n > table.tmp
-
-for i in maps/* ; do
-  name=`basename $i`
-  case $name in
-    README | CVS)
-	;;
-    *)	
-	cat $i | grep -v '^#' | sed -e 's/[:space:]*#.*$//' | awk "{ printf \"%s %s:%s\\n\", \$NF, \"$name\", \$1 }" >> table.tmp
-	;;
-  esac
-done
-sort table.tmp > table
-rm table.tmp