#! /bin/sh

echo "<DL>"
for f in T*.hh; do
  class=${f%%.hh}
  html=${f%%.hh}.html
  echo -n " <DD><A HREF="
  echo -n \"$html\"
  echo ">$class</A>"
done
echo "</DL>"
exit 0
