8d54997b3b9aa0d0b83980ed4faeada3a99f903d
hiram
  Tue Sep 14 14:45:22 2010 -0700
properly use EXE extension
diff --git src/weblet/counter/makefile src/weblet/counter/makefile
index 290e04b..6a1174e 100755
--- src/weblet/counter/makefile
+++ src/weblet/counter/makefile
@@ -14,4 +14,4 @@
 	mv counter.exe ${CGI_BIN}-${USER}
 
 clean::
-	rm -f ${O} ${AOUT} counter.exe
+	rm -f ${O} ${AOUT} counter${EXE}