--- a/src/HOLCF/IsaMakefile Thu Nov 05 15:55:07 2009 +0100
+++ b/src/HOLCF/IsaMakefile Thu Nov 05 16:23:51 2009 +0100
@@ -187,7 +187,8 @@
## clean
clean:
- @rm -f $(OUT)/HOLCF $(LOG)/HOLCF.gz $(LOG)/HOLCF-IMP.gz \
- $(LOG)/HOLCF-ex.gz $(LOG)/HOLCF-FOCUS.gz \
- $(OUT)/IOA $(LOG)/IOA.gz $(LOG)/IOA-ABP.gz \
- $(LOG)/IOA-NTP.gz $(LOG)/IOA-Modelcheck.gz $(LOG)/IOA-Storage.gz
+ @rm -f $(OUT)/HOLCF $(LOG)/HOLCF.gz $(LOG)/HOLCF-IMP.gz \
+ $(LOG)/HOLCF-ex.gz $(LOG)/HOLCF-FOCUS.gz $(OUT)/IOA \
+ $(LOG)/IOA.gz $(LOG)/IOA-ABP.gz $(LOG)/IOA-NTP.gz \
+ $(LOG)/IOA-Modelcheck.gz $(LOG)/IOA-Storage.gz \
+ $(LOG)/IOA-ex.gz