9bfcf5e486d3ff0032e427a6ccf478fb776f5e0f
hiram
  Mon Jun 14 11:42:27 2010 -0700
fixing makefiles to have clean targets
diff --git src/aladdin/aladdin/makefile src/aladdin/aladdin/makefile
index b2389cd..3e879dd 100755
--- src/aladdin/aladdin/makefile
+++ src/aladdin/aladdin/makefile
@@ -10,3 +10,5 @@
 push:	
 	mv aladdin.exe ${CGI_BIN}-${USER}
 
+clean::
+	rm -f aladdin.exe