#!/bin/awk
#
# $Id: getlevel.awk,v 1.3 2002/12/22 20:21:27 pj Exp $
#
# awk script to determine max 'level' by examining files
# of this form 'level.a_number' 
#
# BUGS: doesn't deal with files containing chars after the number

BEGIN { level=0 }
{
  gsub(/^.*\//,"",$0);
  if (match($0,/^level\.([0-9]*).*/) > 0) { 
    gsub(/^level\./,"",$0);
    if ($0 > level) {
      level = $0;
    }
  } 
}
END { print level }