38785bd54a6b4f7c5f13bc7a4b6666d69a2a422c
hiram
  Thu Jun 17 15:37:36 2010 -0700
fixup makefiles to have clean targets
diff --git src/blatTheory/makefile src/blatTheory/makefile
index 3c31800..8b3b5b7 100644
--- src/blatTheory/makefile
+++ src/blatTheory/makefile
@@ -8,3 +8,6 @@
 
 blatTheory: $O $(MYLIBS)
 	${CC} ${COPT} ${CFLAGS} -o ${BINDIR}/blatTheory $O $(MYLIBS) $L
+
+clean::
+	rm -f ${O}