diff options
Diffstat (limited to 'tools/make-table.sh')
| -rwxr-xr-x | tools/make-table.sh | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/tools/make-table.sh b/tools/make-table.sh new file mode 100755 index 00000000..e4a3963b --- /dev/null +++ b/tools/make-table.sh @@ -0,0 +1,16 @@ +#!/bin/sh + +echo -n > table.tmp + +for i in maps/* ; do + name=`basename $i` + case $name in + README | CVS) + ;; + *) + cat $i | grep -v '^#' | awk "{ printf \"%s %s:%s\\n\", \$2, \"$name\", \$1 }" >> table.tmp + ;; + esac +done +sort table.tmp > table +rm table.tmp |