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