#!/bin/bash

cat */*.*hs > TotalLines
cat *.*hs >> TotalLines
cat TotalLines | egrep "^>.*$" > CodeLines

wc -l TotalLines CodeLines | sed -e 's/^.*total.*$//'

rm TotalLines CodeLines