===================================================================
RCS file: /home/cvs/OpenXM/src/gmp/Makefile,v
retrieving revision 1.1
retrieving revision 1.3
diff -u -p -r1.1 -r1.3
--- OpenXM/src/gmp/Makefile	2003/09/02 14:24:43	1.1
+++ OpenXM/src/gmp/Makefile	2004/02/13 00:47:12	1.3
@@ -1,4 +1,4 @@
-# $OpenXM$
+# $OpenXM: OpenXM/src/gmp/Makefile,v 1.2 2003/09/14 01:19:57 takayama Exp $
 OpenXM_HOME=../..
 OpenXM_contrib=${OpenXM_HOME}/../OpenXM_contrib
 OpenXM_lib=${OpenXM_HOME}/lib
@@ -24,7 +24,12 @@ configure:
 		touch ./.configure_done ; \
 	fi
 clean: 
-	${RM} -f ./.*done
 	@if [ -f ./.make_done ]; then \
 		(cd ${GMP} ; make clean) \
 	fi
+	${RM} -f ./.*done
+distclean: 
+	-@if [ -f ./.make_done ]; then \
+		(cd ${GMP} ; make distclean) \
+	fi
+	${RM} -f ./.*done