9bfcf5e486d3ff0032e427a6ccf478fb776f5e0f
hiram
  Mon Jun 14 11:42:27 2010 -0700
fixing makefiles to have clean targets
diff --git src/aladdin/makefile src/aladdin/makefile
index 055287a..99a7c01 100644
--- src/aladdin/makefile
+++ src/aladdin/makefile
@@ -1,2 +1,5 @@
 all:
 	cd aladdin && ${MAKE}
+
+clean::
+	cd aladdin && ${MAKE} clean