#!/bin/csh

if ($#argv != 1) then
  echo "Usage: $0 <path>"
  exit 1
endif

if ( ! -e $1 ) then
  echo "Error: No such directory"
  exit 1
endif

set title=`head $1/index.html | grep "<B>" | cut -d">" -f5 | cut -d"<" -f1`
echo -n "Cleaning $title..."
cd $1
rm NO* TN* *.html
echo "done."


