tools/make-table.sh


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

#!/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