[Hat] two minor bugs

1 Jul 2005

      Dear hat team!

I encountered two minor shortcomings after installing the latest hat
release: 
- there seems to be a typo in the hattools Makefile
- hat-trans does not seem to correctly recognize .lhs files

Here is a simple "quick and dirty" fix for both problems:

Regards,

Matthias

-- 
Matthias Neubauer                                       |
Universität Freiburg, Institut für Informatik           | tel +49 761 203 8060
Georges-Köhler-Allee 79, 79110 Freiburg i. Br., Germany | fax +49 761 203 8052