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
@@ -1,10 +1,13 @@
 include ../inc/common.mk
 
 L += -lm
 MYLIBDIR = ../lib/$(MACHTYPE)
 MYLIBS =  $(MYLIBDIR)/jkhgap.a $(MYLIBDIR)/jkweb.a
 
 O = blatTheory.o
 
 blatTheory: $O $(MYLIBS)
 	${CC} ${COPT} ${CFLAGS} -o ${BINDIR}/blatTheory $O $(MYLIBS) $L
+
+clean::
+	rm -f ${O}